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

=== Детермінованість ===
Подальша відмінність між '''Детермінованими''' ([[детермінований скінченний автомат|ДСА]]) і '''недетермінованими''' ([[недетермінований скінченний автомат|НСА]]) автоматами. В детермінованих автоматах, кожен стан має лише один перехід для кожного входу. В недетермінованих автоматах вхід може призвести до одного, більше ніж одного або зовсім без переходу для даного стану. Ця різниця важлива на практиці, але не в теорії, через існування алгоритму трансформації будь-якого НСА в складніший ДСА з однаковою функціональністю.
 
Якщо автомат має лише один стан, то, згідно [[Енциклопедія кібернетики|Енциклопедії кібернетики]] він називається ''автоматом без пам'яті'' (({{lang-en|combinatorial finite-state machine}}). Оскільки під час роботи стан такого автомату змінюватись не може, то вихідний символ залежить саме від вхідного символу в поточному такті, і не залежить від символів, які надходили перед тим.
 
[[Оператор (математика)|Оператор]], який реалізується таким автоматом, виконує перетворення літери за літерою вхідних символів у вихідні. Такі оператори називаються ''операторами істинності''. Вони є, по суті, функціями [[Багатозначна логіка|багатозначної логіки]].{{уточнити}}
 
== Математична модель ==
13 626

редагувань