Pok-2-wyk-Slajd23
Z Studia Informatyczne
Automaty skończone(7)
Automat skończony nadal znajduje się w stanie „s2”. Na wejściu automat natrafia na symbol „$” oznaczający koniec danych wejściowych. Następuje więc sprawdzenie czy automat znajduje się w stanie należącym do zbioru stanów akceptujących. Przypomnijmy, że zbiór ten w rozważanym przykładzie jest jednoelementowy i zawiera stan „s2”. Ponieważ jest to stan, w którym automat zakończył pracę – następuje akceptacja danych wejściowych.
