Мови формальні

Матеріал з Вікіпедії — вільної енциклопедії.

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

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

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

  • Автоматна мова,
  • Безконтекстна мова,
  • Категоріальна мова,
  • Мова породжувана граматиками залежностей,

і так далі, або по застосуванню:

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

[ред.] Джерела інформації

[ред.] Дивіться також


Сигма Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.