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

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

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

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

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

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

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

• Алгоритмічна мова,
• Інформаційна мова,
• Логіко-математична мова,
• Математичні моделі мови.

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

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

• Енциклопедія кібернетики, Ющенко К. Л., т. 2, ст. 618.

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

• Формальна граматика,
• Мова програмування,
• Синтаксичний аналіз,
• Автомат скінченний.

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