Pok-2-wyk-Slajd28
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
NAS -> DAS(1)
Oto kolejny przykład równoważnych automatów skończonych.
Tym razem są to automaty utworzone dla wyrażenia regularnego a|abc nad alfabetem „a”, „b”, „c”. Co więcej z akceptacją wynikającą z pojawienia się na wejściu pojedynczego symbolu „a” związana jest pewna akcja (na slajdzie oznaczona etykietą <akcja 1>). Podobnie z akceptacją wynikającą z pojawienia się na wejściu sekwencji symboli abc związana jest akcja oznaczona etykietą <akcja 2>.
Przykład odpowiedniego niedeterministycznego automatu skończonego znajduje się po lewej stronie slajdu.
Równoważny mu deterministyczny automat skończony znajduje się po prawej stronie slajdu.
