Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див.
В тому випадку, коли кожному слову формальної мови зіставляється його семантика (сенс, значення, інтерпретація), формальну мову називають інтерпретованою.
Формальні мови можна класифікувати за характером формального апарату, що застосовується для їхнього описання:
Більшість формальних мов, створюваних для практичних цілей, є інтерпретованими мовами. Важливий клас інтерпретованих мов становлять мови програмування, а також алгоритмічні мови.
Формальні мови — математична дисципліна, що вивчає формальні мови, їх задання (граматики), класифікацію, та аналіз.
Дисципліна часто вивчається паралельно з теорією автоматів, або в її складі, оскільки вони є основним інструментом для роботи з мовами (як при генерації, так і при розпізнаванні), та саме вони використовуються на практиці (в програмуванні).
Формальні мови — це теоретичне підґрунтя до системного програмування, а саме до побудови трансляторів.
Дисципліна займається:
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |
This article uses material from the Wikipedia Українська article Формальна мова, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Вміст доступний на умовах CC BY-SA 4.0, якщо не вказано інше. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Українська (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.