Краен автомат: Разлика между версии

Изтрито е съдържание Добавено е съдържание
SOMNIVM (беседа | приноси)
SOMNIVM (беседа | приноси)
Ред 23:
 
== Детерминизъм ==
Крайните автомати биват ''детерминирани'' и ''недетерминирани''. При детерминираните съществуваможе самода еднаима възможностнай-много запо преходаедин впреход новоот дадено състояние за всяка буква от азбуката на автомата, докато при недетерминираните са възможни няколко различни прехода за една и съща буква. Също така детерминираните крайни автомати имат едно единствено начално състояние.

Всеки недетерминиран автомат може да се преобразува в детерминиран, като последният може да има най-много <math>2^n</math> състояния, където <math>n=Card(\mathcal{P}(S))</math>.
 
== Еквивалентни автомати ==