Мови формальні
Матеріал з Вікіпедії — вільної енциклопедії.
Мови формальні — множини скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див. формальна граматика).
В тому випадку, коли кожному слову формальної мови співставляється його семантика (сенс, значення, інтерпретація), формальну мову називають інтерпретованою.
Формальні мови можна класифікувати по характеру формального апарату, що застосовується для їхнього описання:
- Автоматна мова,
- Безконтекстна мова,
- Категоріальна мова,
- Мова породжувана граматиками залежностей,
і так далі, або по застосуванню:
- Алгоритмічна мова,
- Інформаційна мова,
- Мова логіко-математична,
- Математичні моделі мови.
Більшість формальних мов, створюваних для практичних цілей, є інтерпретованими мовами. Важливий клас інтерпретованих мов становлять мови програмування, а також алгоритмічні мови.
[ред.] Джерела інформації
- Енциклопедія кібернетики, Ющенко Е. Л., т. 2, ст. 618.
[ред.] Дивіться також
- Формальна граматика
- Мова програмування
| Це незавершена стаття з математики. Ви можете допомогти проекту, виправивши або дописавши її. |

