Rozpoznávání regulární množiny pomocí nedeterministického konečného automatu

Simulace činnosti nedeterministického rozpoznávacího konečného automatu, který rozhoduje, zda vstupní řetězec vyhovuje regulárnímu výrazu aa(a* + b*)(a* + b*)bb

Nedeterministický rozpoznávací automat rozhoduje, zda zadaný vstupní řetězec vyhovuje zadanému regulárnímu výrazu. Zeleně vybarvené stavy znázorňují množinu stavů, v jednom z nichž se v dané fázi zpracování řetězce automat bude nacházet (ale nelze určit ve kterém). Řetězec vyhovuje regulárnímu výrazu právě tehdy, je-li vybarven koncový stav.

Ovládání

Do kolonky "zadejte vstup" zadejte řetězec

Pokud si přejete zadat nový vstup stiskněnte tlačítko nový vstup

Aktuální stav je označen zelenou barvnou

Řetězec:

Odpovídá reg. výrazu?


Nový vstup

Vyrobili s ❤️ Jan Kadlec & Marluce Quaresma