2
平面常规语言
在我的课上，一个学生问是否可以画出所有有限的自动机而不会交叉边缘（看来我的所有例子都做到了）。当然答案是否定的，这是语言{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 \;\}K5K5K_5 我的问题是：如何显示这种语言的每个有限状态自动机都是非平面的？使用Myhill-Nerode之类的特征，可以确定该语言的结构已出现在图表中，但是我们如何精确地做到这一点呢？ And if that can be done, is there a characterization of "planar regular languages"?