Mam napisać automat w którym nad a,b a występuję na 3 od końca pozycji.
Nawet nie dokońca wiem jak to zapisać.
L={P#_a3P: P należy do{a,b} }
W załączniku, wykres.
Co powinnam zmienić?
Czuje że to jest źle...
EDIT To automat deterministyczny, skończony.
A jaki to ma byc automat? Skończony? Deterministyczny? Zupełny?
3 od końca czy 4 od końca? Bo mam wątpliwości patrząc na ten twój automat...
Jak automat skończony i deterministyczny to masz prawie dobrze. Nie wiem tylko po co ci dwa stany -> q0 i q1 skoro możesz jeden z nich (q0) wywalić. Szczególnie że teraz masz to źle zrobione właśnie przez te dwa stany, bo nie da się zrobić słowa z 4 symboli.
Ponieważ trzeba pamiętać było a czy nie na ostatnich 3-ch pozycjach to minimalna liczba stanów dla automatu deterministycznego to 23=8
Oznacz stany jako:
000 -> 0
001 -> 1
010 -> 2
011 -> 3
100 -> 4
101 -> 5
110 -> 6
111 -> 7
Stan 0 - startowy
Stany 4,5,6,7 - końcowe.
a przechodzi: NowyStan=(StaryStan*2+1)mod(8);
b przechodzi: NowyStan=(StaryStan*2+0)mod(8);
To wszystko.