Ми пояснюємо, що таке формальні мови, їх характеристики, приклади та типи. Крім того, його відмінності від природних мов.
Що таке офіційна мова?
в обчислення і інформатика, коли ми посилаємось на офіційну мову на відміну від природних мов, ми маємо на увазі ці системи знаки наділені примітивними символами і формально заданою системою правил використання, тобто наділені а алфавіту і а граматика (або синтаксису) формальний:
- Під алфавітом розуміють кінцевий і непорожній набір примітивних символів.
- Під формальною граматикою розуміється скінченний набір правил комбінації згаданого алфавіту для утворення скінченних ланцюжків із певним значенням.
Цим вона відрізняється від природних мов, що виникли навколо потреби людини в спілкуванні, в яких правила складні і неоднозначні, а значення залежить від тлумачення. мовні знаки. З цієї причини природні мови є нескінченно складнішими, ніж читання формальної мови, чия правила вони кінцеві і встановлені заздалегідь.
Формальні мови важливі для світу математика і з обчислення, оскільки вони дозволяють нам творити коди спілкування між людьми і машинами, тобто програмування. Не слід плутати формальні мови з формальним рівнем мови чи з формальна мова, що є формальним, ввічливим і формальним використанням словесної мови, на відміну від її використання розмовний, скуйовджений і неформальний.
На думку американського лінгвіста Ноама Хомського (1928-), формальні мови можна класифікувати на чотири типи:
- Тип 3: звичайні мови, наділені регулярними граматиками, тобто системами правил, які можна отримати за допомогою регулярних виразів і які дозволяють отримати всі можливі рядки символів.
- Тип 2: неконтекстуальні мови, наділені неконтекстуальними граматиками, тобто вони дозволяють отримувати всі можливі рядки символів, але на набагато вищому рівні складності, ніж звичайні.
- Тип 1: контекстні мови, наділені контекстною граматикою, тобто дозволяють отримувати рядки залежних символів, як вказує їх назва, контекст.
- Тип 0: вільні мови, наділені вільними граматиками, без обмежень, що створює рекурсивно перераховані мови.
Приклади формальних мов
Прикладами формальних мов є:
- The мови програмування з яким програмне забезпечення.
- Гра в шахи, фігури якої обмежені, а рухи описані заздалегідь.
- Азбука Морзе, яка за допомогою коротких і довгих знаків складає слова Ю цілі числа.
- Власний логіка символічне становить формальну мову.