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

редакция без резюме
м (r2.7.1) (Робот Добавяне: no:Endelig tilstandsmaskin)
При запълване на даден автомат добавяме т.нар. състояние ''кладенец'', от което излизат към него по един преход за всяка буква от Σ. След това добавяме преходите с липсващите (за пълнота) букви на всички останали състояния в автомата и ги ориентираме към състоянието ''кладенец''.
 
== Емондирани автомати ==
== Емондиран автомат ==
'''Емондиран''' наричаме този автомат, който има само полезни състояния. Полезно е това състояние, което е достъпно едновременно от поне едно начално и едно крайно състояние. Можем да емондираме всеки не-емондиран автомат просто премахвайки състоянията, които не са полезни.
 
Анонимен потребител