Топ питань
Часова шкала
Чат
Перспективи
Формальна мова
множина скінчених послідовностей символів, які описуються правилами певного виду З Вікіпедії, вільної енциклопедії
Remove ads
Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див. формальна граматика).

В тому випадку, коли кожному слову формальної мови зіставляється його семантика (сенс, значення, інтерпретація), формальну мову називають інтерпретованою.
Формальні мови можна класифікувати за характером формального апарату, що застосовується для їхнього описання:
- Автоматна мова,
- Безконтекстна мова,
- Категоріальна мова,
- Мова породжувана граматиками залежностей, і так далі, або за застосуванням:
- Алгоритмічна мова,
- Інформаційна мова,
- Логіко-математична мова,
- Математичні моделі мови.
Більшість формальних мов, створюваних для практичних цілей, є інтерпретованими мовами. Важливий клас інтерпретованих мов становлять мови програмування, а також алгоритмічні мови.
Remove ads
Як математична дисципліна
Узагальнити
Перспектива
Формальні мови — математична дисципліна, що вивчає формальні мови, їх задання (граматики), класифікацію, та аналіз.
Дисципліна часто вивчається паралельно з теорією автоматів, або в її складі, оскільки вони є основним інструментом для роботи з мовами (як при генерації, так і при розпізнаванні), та саме вони використовуються на практиці (в програмуванні).
Мета і завдання дисципліни
Формальні мови — це теоретичне підґрунтя до системного програмування, а саме до побудови трансляторів.
Дисципліна займається[1]:
- побудова граматики заданого типу, що породжує задану мову, та навпаки (визначення того, яку мову задає граматика)
- побудова та мінімізація скінченних автоматів що розпізнають дану (регулярну) мову, та навпаки
- побудова регулярних виразів, для даної мови, та навпаки.
- аналіз типу формальних мов за ієрархією Чомскі
- побудова магазинних (стекових) автоматів для аналізу контекстно-вільних мов, та навпаки.
- аналіз мереж Петрі.
Зміст дисципліни
- Поняття формальної мови та формальної граматики. Ієрархія Чомскі.
- Мови типу 0 і машини Тюрінга.
- Регулярні мови й скінченні автомати.
- Контекстно-вільні мови й магазинні (стекові) автомати.
- Контекстно-залежні мови й лінійно-обмежені машини Тюрінга.
- Мережі Петрі.
Remove ads
Див. також
Примітки
Джерела
Література
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads