Ми працюємо над відновленням додатку Unionpedia у Google Play Store
ВихідніВхідний
🌟Ми спростили наш дизайн для кращої навігації!
Instagram Facebook X LinkedIn

Контекстно-вільна граматика

Індекс Контекстно-вільна граматика

Контекстно-вільна граматика (скорочено КВ граматика) — формальна граматика типу 2 в ієрархії Чомскі.

Зміст

  1. 4 відносини: Нотація Бекуса-Наура, Нотація Ландау, Нормальна форма Хомського, Ієрархія Чомскі.

  2. Теорія компіляторів
  3. Формальні мови

Нотація Бекуса-Наура

Нота́ція Бе́куса—Нау́ра (Backus-Naur form, BNF) — це спосіб запису правил контекстно-вільної граматики, себто формою опису формальної мови.

Переглянути Контекстно-вільна граматика і Нотація Бекуса-Наура

Нотація Ландау

Асимптотична нотація великого О, відома також як нотація Ландау — розповсюджена математична нотація для формального запису асимптотичної поведінки функцій.

Переглянути Контекстно-вільна граматика і Нотація Ландау

Нормальна форма Хомського

Нормальна форма Хомського (НФХ - бінарна нормальна форма) встановлюється для приведеної контекстно-вільної (КС) граматики, всі правила якої мають вигляд.

Переглянути Контекстно-вільна граматика і Нормальна форма Хомського

Ієрархія Чомскі

Ієра́рхія Чо́мскі, або Ієра́рхія Чо́мскі-Шутценбе́рґера (названа на честь мовознавця Ноама Чомскі та математика Марселя Шутценберґера) — поняття в теоретичній інформатиці, яким позначають ієрархію формальних граматик, які породжують формальні мови.

Переглянути Контекстно-вільна граматика і Ієрархія Чомскі

Див. також

Теорія компіляторів

Формальні мови

Також відомий як Контекстно-вільна мова, КВ-граматика, Безконтекстна граматика.