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

[[Файл:DFAexample.svg|thumb|300px|right|Приклад скінченного автомата; цей приклад показує автомат, який визначає чи двійкове число має непарну кількість 0, де <math>S_1</math> це '''допустимий стан'''.]]
 
'''Допустимі стани''' (також відомі як '''кінцеві''' стани) це такі, вщо якихякщо автомат звітуютьзнаходиться в них це означає, що вхідний рядок, наскільки він опрацьований, єналежить членоммові розпізнаваноїщо мовирозпізнається. Зазвичай познгачаєтьсяпозначається двома колами.
 
Приклад допустимого стану з'являється в діаграмі праворуч: a [[детермінований скінченний автомат]] (ДСА), що визначає чи [[Двійкова система числення|двійковий]] вхідний рядок містить парну кількість 0.
 
''S''<sub>1</sub> (який є початковим станом) показує стан в якому парна кількість 0 була введена. Цей автомат закінчитьопиниться в допустимому стані, якщо двійковий рядок містить парну кількість 0 (включно з рядком, що не містить 0 взагалі). Приклади рядків розпізнаваних цим ДСА це порожній рядок, 1, 11, 11..., 00, 010, 1010, 10110, і т.д.подібні ...
 
===Перетворювачі (Трансдуктори)===
37 331

редагування