Зміст
4 відносини: Нотація Бекуса-Наура, Нотація Ландау, Нормальна форма Хомського, Ієрархія Чомскі.
- Теорія компіляторів
- Формальні мови
Нотація Бекуса-Наура
Нота́ція Бе́куса—Нау́ра (Backus-Naur form, BNF) — це спосіб запису правил контекстно-вільної граматики, себто формою опису формальної мови.
Переглянути Контекстно-вільна граматика і Нотація Бекуса-Наура
Нотація Ландау
Асимптотична нотація великого О, відома також як нотація Ландау — розповсюджена математична нотація для формального запису асимптотичної поведінки функцій.
Переглянути Контекстно-вільна граматика і Нотація Ландау
Нормальна форма Хомського
Нормальна форма Хомського (НФХ - бінарна нормальна форма) встановлюється для приведеної контекстно-вільної (КС) граматики, всі правила якої мають вигляд.
Переглянути Контекстно-вільна граматика і Нормальна форма Хомського
Ієрархія Чомскі
Ієра́рхія Чо́мскі, або Ієра́рхія Чо́мскі-Шутценбе́рґера (названа на честь мовознавця Ноама Чомскі та математика Марселя Шутценберґера) — поняття в теоретичній інформатиці, яким позначають ієрархію формальних граматик, які породжують формальні мови.
Переглянути Контекстно-вільна граматика і Ієрархія Чомскі
Див. також
Теорія компіляторів
- JIT-компіляція
- SPIR
- Базовий блок
- Вирівнювання даних
- Граф потоку керування
- Контекстно-вільна граматика
- Лексичний аналіз
- Об'єктний модуль
- Одиниця трансляції
- Синтаксичний аналіз
- Функція першого класу
Формальні мови
- Diff
- LL(k)-граматика
- SCIgen
- Інтерпретація (логіка)
- Ієрархія Чомскі
- Абетка (інформатика)
- Абстрактне синтаксичне дерево
- Граматика Монтегю
- Граматика визначених тверджень
- Доказ
- Знако-розрядна система числення
- Зірочка Кліні
- Конкатенація
- Контекстно-вільна граматика
- Контекстно-залежна граматика
- Лема про накачку для регулярних мов
- Машина Тюрінга
- Мова розмітки даних
- Нормальна форма Хомського
- Порожній рядок
- Підрядок
- Регулярна мова
- Регулярний вираз
- Рерайтинг (математика)
- Рядок (програмування)
- Символ (логіка)
- Синтаксична діаграма
- Унарна система числення
- Формальна граматика
- Формальна мова
- Формальна система
- Числення Поста
Також відомий як Контекстно-вільна мова, КВ-граматика, Безконтекстна граматика.