Pok-2-wyk-Slajd26

DAS – Deterministyczny Automat Skończony

Przejdźmy teraz do zdefiniowania deterministycznego automatu skończonego (w skrócie DAS). Jest to automat, w którym:

• nie występują epsilon-przejścia,
• dla każdego stanu istnieje przejście pod wpływem jednego symbolu wejściowego do co najwyżej jednego stanu.

Przedstawiony na slajdzie graf dla wyrażenia regularnego (a|b)*abb zbudowanego nad alfabetem „a”, „b” ukazuje przykładową funkcję przejść dla DAS. Proszę zwrócić uwagę, iż graf ten nie zawiera epsilon-przejść ani dwóch krawędzi wychodzących z jednego wierzchołka i zaetykietowanych tym samym symbolem.

<< Poprzedni slajd | Spis treści | Następny slajd >>