Automaty a gramatiky

Úkol:

"Zkuste napsat gramatiku (nebo automat), který bude generovat nějaký nekonečný jazyk, který Vám přijde zajímavý. Automat nebo gramatiku vložte do souboru a stručně popište, co dělá."

Výstup:

Tohle byl opravu velký oříšek a asi nikdy se nestanu fanouškem této problematiky.

Něco jsem zkusil sepsat, ale správností si moc jistý nejsem:

S -> ε / a / b / aA / bB

A -> a / aA / aB

B -> b / bA / bB / ε

Podle mého by se z této gramatiky měl dát vytvořit nekonečný jazyk, protože jde libovolně přecházet z "a" na "b", dokud se neuzavře symbolem ε .