це поняття, які характеризують мову L шляхом прийняття L.
це поняття, які характеризують мову L шляхом породження L. Граматика по суті складається з кінцевої кількості правил.
Будь-яка звичайна мова приймається (не)детермінованим скінченним автоматом.
Плакати та попередження, створені, перекладені та відображені автоматами в цьому розділі. Вони перекладені з мови автоматів на шведською, а потім англійською перекладено. “UNDVIK KONTAKT MED ELD!” – Уникайте вогню!
Визначення: мова, прийнята скінченним автоматом M, є набір усіх рядків, прийнятих М . Мова позначається L(M). Ми також говоримо, що M визнає L(M) або що M приймає L(M). Інтуїтивно продумайте всі можливі шляхи переходу від початкового стану до будь-якого стану прийняття.
Звичайна мова це формальна мова, яка може бути виражена за допомогою регулярного виразу, у строгому розумінні останнього терміна, який використовується в теоретичній інформатиці. «Мова є регулярною тоді і тільки тоді, коли вона приймається кінцевою автоматизацією».
У теорії автоматів існує формальна мова набір рядків символів, узятих зі скінченного алфавіту . Формальна мова може бути задана або набором правил (таких як регулярні вирази чи контекстно-вільна граматика), які генерують мову, або формальною машиною, яка приймає (розпізнає) мову.