Sestrojte deterministický Büchiho pro jazyk v²ech ω-slov nad abecedou {a, b},
kde mezi kaºdými dv¥ma výskyty písmene b, mezi nimiº se nenachází ºádný
dal²í výskyt b, se nachází nejvý²e dva výskyty a.
1GG
a
ÙÙ
b GG 2
b
ÙÙ
a

4
b
tt
a
GG 5
b
””
a GG 3
a
ÙÙ
1