Формальна мова
множина скінчених послідовностей символів, які описуються правилами певного виду / З Вікіпедії, безкоштовно encyclopedia
Шановний Wikiwand AI, Давайте зробимо це простіше, відповівши на ключові запитання:
Чи можете ви надати найпопулярніші факти та статистику про Формальна мова?
Підсумуйте цю статтю для 10-річної дитини
ПОКАЗАТИ ВСІ ЗАПИТАННЯ
Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див. формальна граматика).
У Вікіпедії є статті про інші значення цього терміна: Мова (значення).
В тому випадку, коли кожному слову формальної мови зіставляється його семантика (сенс, значення, інтерпретація), формальну мову називають інтерпретованою.
Формальні мови можна класифікувати за характером формального апарату, що застосовується для їхнього описання:
- Автоматна мова,
- Безконтекстна мова,
- Категоріальна мова,
- Мова породжувана граматиками залежностей, і так далі, або за застосуванням:
- Алгоритмічна мова,
- Інформаційна мова,
- Логіко-математична мова,
- Математичні моделі мови.
Більшість формальних мов, створюваних для практичних цілей, є інтерпретованими мовами. Важливий клас інтерпретованих мов становлять мови програмування, а також алгоритмічні мови.