Формальна мова — Вікіпедія

Синтаксичний поділ у рамках формальної системи. Рядки символів можна поділити на беззмістовні і правильно побудовані формули[en]. Множина таких формул своєю чергою поділяється на теореми і не-теореми.

Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див. формальна граматика).

В тому випадку, коли кожному слову формальної мови зіставляється його семантика (сенс, значення, інтерпретація), формальну мову називають інтерпретованою.

Формальні мови можна класифікувати за характером формального апарату, що застосовується для їхнього описання:

Більшість формальних мов, створюваних для практичних цілей, є інтерпретованими мовами. Важливий клас інтерпретованих мов становлять мови програмування, а також алгоритмічні мови.

Як математична дисципліна

[ред. | ред. код]

Формальні мови — математична дисципліна, що вивчає формальні мови, їх задання (граматики), класифікацію, та аналіз.

Дисципліна часто вивчається паралельно з теорією автоматів, або в її складі, оскільки вони є основним інструментом для роботи з мовами (як при генерації, так і при розпізнаванні), та саме вони використовуються на практиці (в програмуванні).

Мета і завдання дисципліни

[ред. | ред. код]

Формальні мови — це теоретичне підґрунтя до системного програмування, а саме до побудови трансляторів.

Дисципліна займається[1]:

Зміст дисципліни

[ред. | ред. код]
  1. Поняття формальної мови та формальної граматики. Ієрархія Чомскі.
  2. Мови типу 0 і машини Тюрінга.
  3. Регулярні мови й скінченні автомати.
  4. Контекстно-вільні мови й магазинні (стекові) автомати.
  5. Контекстно-залежні мови й лінійно-обмежені машини Тюрінга.
  6. Мережі Петрі.

Див. також

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. Теорія автоматів і формальних мов[недоступне посилання з липня 2019] на кафедрі математичних методів та системного аналізу Київського політехнічного інституту.

Джерела

[ред. | ред. код]

Українською

[ред. | ред. код]

Література

[ред. | ред. код]
  • Гаврилків В. М. Формальні мови та алгоритмічні моделі. — І.-Ф.  : Голіней, 2023. — 180 с.