2
Bahasa reguler planar
Di kelas saya seorang siswa bertanya apakah semua automata terbatas dapat digambar tanpa melewati batas (sepertinya semua contoh saya lakukan). Tentu saja jawabannya negatif, otomat yang jelas untuk bahasa memiliki struktur , grafik lengkap pada lima node . Yuval telah menunjukkan struktur yang serupa untuk bahasa terkait.{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) …