Cześć, do zaprojektowania mam automat skończony deterministyczny oraz niedeterministyczny, akceptujący język złożony ze znaków 'a' oraz 'b'. Znak 'a' musi pojawić się co najmniej raz, natomiast znak 'b' dokładnie raz.
Potrafię wypisać:
- skończony alfabet wejściowy
- funkcje przejścia
- stan początkowy
Brakuje mi jeszcze:
- skończony zbiór stanów
- zbiór stanów końcowych
Oraz nie do końca umiem zrobić diagram przejść oraz tabeli przejścia. Z góry dzięki za pomoc