Idiomas regulares planares
Na minha turma, um aluno perguntou se todos os autômatos finitos poderiam ser desenhados sem cruzar as bordas (parece que todos os meus exemplos). Claro que a resposta é negativa, o autômato óbvio para a linguagem {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid...