Відмінності між версіями «Скінченний автомат»

м (→‎Класифікація: правопис)
'''Акцептори''' і '''розпізнавачі''' (також '''виявлювачі послідовностей''') продукують двійковий вихід, кажучи або ''так'' або ''ні'' на питання прийняті автоматом вхідні дані чи ні. Всі стани СА можуть бути або допустими або ні. Коли всі вхідні дані оброблені, якщо поточний стан є допустимим, значить вхід прийнятий; інакше відхилений. Як правило на вхід подаються символи (літери); дії не використовуються. Приклад на зображенні показує СА який приймає слово «nice». В цьому СА єдиний допустимий стан це 7.
 
Автомат також може бути описаний як такий, що визначає мову, яка містить всі слова розпізнавані цим автоматом, але не ті які їмним відхиляються; тоді ми кажемо, що ця мова ''розпізнається'' автоматом. За визначенням, мови розпізнавані СА це [[регулярні мови]] тобто мова є регулярною якщо існує деякий СА, який розпізнає її.
 
====Початковий стан====
Анонімний користувач