Napi²te deterministický Büchiho automat pro jazyk v²ech ω-slov w ∈ {a, b}ω
,
která obsahují nekone£n¥ mnoho výskyt· znaku, který se nachází na první pozici
slova w.
2
a
ÙÙ b
BB
3 b
hh
a
jj
1GG
a
YY
b 55
4
b
ss
a
BB
5 a
hh
b
jj
1