Vstupní řetězec:
V této aplikaci si můžete vyzkoušet simulaci činnosti konečného automatu, který nad abecedou {0, 1} akceptuje řetězce, jež obsahují podřetězec 01001 a zárověň nekončí na 11.
Ovládání:
Aktuální stav automatu je průběžně zvýrazňován oranžovou barvou. To, zda je zadaný řetězec akceptován, nebo zamítnut, indikuje barva symbolu žárovky (akceptován = zelená, zamítnut = červená).
K zadávání nového řetězce lze přejít tlačítkem Restart (klávesou "r"). Pro ulehčení řešení situace, kdy se uživatel zmýlí v zadání vstupního symbolu, je implementována funkce Krok zpět (tlačítko Zpět nebo klávesa "b").
Smyslem této funkce je ulehčit uživateli v tom, že nemusí po restartu opakovaně zadávat celý vstupní řetězec.
Konečný automat sám o sobě se k již zpracované části vstupního řetězce vracet nemůže !
Veškerá informace o již zpracované části vstupního řetězce je reprezentována aktuálním stavem automatu, automat tedy nemá k dispozici úplnou historii přechodů tak, jak je prezentována v okně Historie.
Vstupní řetězec: