2
Lingue regolari planari
Nella mia classe uno studente ha chiesto se tutti gli automi finiti potevano essere disegnati senza attraversare i bordi (sembra che tutti i miei esempi lo facessero). Naturalmente la risposta è negativa, l'automa ovvio per la lingua {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\} ha la struttura di …