Przekształcanie automatów skończonych Języki formalne i automaty Dr in\. Janusz Majewski Katedra Informatyki Przykład tworzenie wyra\enia regularnego i niedeterministycznego automatu skończonego Rozwa\ane są wszystkie łańcuchy binarne rozpoczynające się jedynką i kończące się jedynką. Wyra\enie regularne opisujące ten język: 1(0|1)*1|1 Niedeterministyczny automat skończony: Determinizacja automatu skończonego (1) Determinizacja automatu skończonego (2) Determinizacja automatu skończonego (3) Uzupełnianie automatu skończonego Stan pułapki err nie jest stanem końcowym akceptującym Minimalizacja: usuwanie stanów nieosiągalnych PRZED: PO: 0 1 0 B C F C 0 0 start 1 A 1 1 1 1 0 0 1 D E G E 0 Minimalizacja: łączenie stanów nierozró\nialnych Przed: Po: