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

