2
Langues régulières planaires
Dans ma classe, un étudiant a demandé si tous les automates finis pouvaient être dessinés sans croiser les bords (il semble que tous mes exemples l'ont fait). Bien sûr, la réponse est négative, l'automate évident pour la langue {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 \;\} a la structure …