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

Властивість 2 означає, що автоматні оператори - це оператори без випередження, тобто такі, котрі, обробляючи ланцюжок зліва направо, “не підглядають уперед”: i-та буква вихідного ланцюжка залежить тільки від перших i букв вхідного ланцюжка. Приклад оператора з випередженням - той, який ланцюжку ''a = x1x2…xk'' ставить у відповідність ланцюжок ''xk…x1x2'', перша буква вихідного ланцюжка тут дорівнює останній букві вхідного ланцюжка. Зазначимо, що ці дві властивості - це не достатні умови автоматності відображення: існують відображення, які задовольняють умови 1 і 2, але не реалізовані в скінченному автоматі.

== Див. також ==

{{Multicol}}

* [[Теорія автоматів]]

* [[Автомат мінімальний]]

* [[Рідкий скінченний автомат]]

{{Multicol-end}}

 

 

{{Math-stub}}

{{Без джерел|дата=травень 2014}}