Категорія:Формальні мови

А

• Алгоритми синтаксичного розбору‎ (4 С)

Г

• Граматичні фреймворки‎ (4 С)

З

• Зіставляння із взірцем‎ (3 К, 10 С)

К

• Комп'ютерні мови‎ (8 К, 12 С)

Л

• Логічні символи‎ (2 К, 29 С)

М

• Мови програмування з залежними типами‎ (3 С)
• Мови специфікацій‎ (3 К, 7 С)

С

• Синтаксичний аналіз‎ (2 К, 12 С)

• Формальна мова

*

• Формальні граматики

А

• Абетка (інформатика)
• Абстрактне синтаксичне дерево
• Адресне програмування
• Алгоритмічна мова
• Антиматроїд

Б

• Біграми

В

• Висота ітерації мови
• Вступ до теорії автоматів, мов і обчислень

Г

• Граматика визначених тверджень

Д

• Доказ (логіка)

З

• Задача про найдовшу зростаючу підпослідовність
• Зірочка Кліні
• Знако-розрядна система числення

І

• Ієрархія Чомскі
• Інтерпретація (логіка)
• Інформаційна мова

К

• Конкатенація
• Контекстно-вільна граматика
• Контекстно-залежна граматика

Л

• Лема про накачку
• Лема про накачку для регулярних мов
• Локальна мова

М

• Машина Тюрінга
• Мова розмітки даних
• Мови опису апаратури
• Модифікації машини Тюрінга

Н

• Нормальна форма Грайбах
• Нормальна форма Хомського
• Нотація Бекуса — Наура

О

• Онтологія (інформатика)

П

• Підрядок
• Порожній рядок
• Представлення символів у регулярних виразах

Р

• Регулярна граматика
• Регулярна мова
• Регулярний вираз
• Рерайтинг (математика)
• Розширена нотація Бекуса — Наура
• Рядок (програмування)

С

• Символ (логіка)
• Синтаксична діаграма
• Синтез скінченних автоматів

Ф

• Формальна система

Ч

• Числення Поста

D

• Diff

J

• JFLAP

L

• LL(k)-граматика

M

• Граматика Монтегю

S

• SCIgen