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 \;\} 는 5 개의 노드에 대한 완전한 그래프 인 K5K5K_5 의 구조를 갖습니다 . . …