Automat skończony deterministyczny i niedeterministyczny

Question

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