Категорія:Формальні мови Портал «Мовознавство» Формальні мови у сестринських Вікіпроєктах Файли у Вікісховищі? Основний елемент категорії — Формальна мова. Підкатегорії Показано 8 підкатегорій із 8. А Алгоритми синтаксичного розбору (4 С)Г Граматичні фреймворки (4 С)З Зіставляння із взірцем (3 К, 10 С)К Комп'ютерні мови (8 К, 12 С)Л Логічні символи (2 К, 29 С)М Мови програмування з залежними типами (3 С) Мови специфікацій (3 К, 5 С)С Синтаксичний аналіз (2 К, 12 С) Сторінки в категорії «Формальні мови» Показано 51 сторінку цієї категорії (із 51). Формальна мова* Формальні граматикиА Абетка (інформатика) Абстрактне синтаксичне дерево Адресне програмування Алгоритмічна мова АнтиматроїдБ БіграмиВ Висота ітерації мови Вступ до теорії автоматів, мов і обчисленьГ Граматика визначених твердженьД Доказ (логіка)З Задача про найдовшу зростаючу підпослідовність Зірочка Кліні Знако-розрядна система численняІ Ієрархія Чомскі Інтерпретація (логіка) Інформаційна моваК Конкатенація Контекстно-вільна граматика Контекстно-залежна граматикаЛ Лема про накачку Лема про накачку для регулярних мов Локальна моваМ Машина Тюрінга Мова розмітки даних Мови опису апаратури Модифікації машини ТюрінгаН Нормальна форма Грайбах Нормальна форма Хомського Нотація Бекуса — НаураО Онтологія (інформатика)П Підрядок Порожній рядок Представлення символів у регулярних виразахР Регулярна граматика Регулярна мова Регулярний вираз Рерайтинг (математика) Розширена нотація Бекуса — Наура Рядок (програмування)С Символ (логіка) Синтаксична діаграма Синтез скінченних автоматівФ Формальна системаЧ Числення ПостаD DiffJ JFLAPL LL(k)-граматикаM Граматика МонтегюS SCIgen