2
Düzlemsel normal diller
Sınıfımda bir öğrenci, sonlu tüm otomataların kenarları geçmeden çizilip çizilemeyeceğini sordu (tüm örneklerin yaptığı gibi görünüyor). Elbette cevap olumsuz, dil için bariz otomatizasyon {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 Sorum şu: Bu dil için her sonlu durum otomatının düzlemsel olmadığını nasıl gösterebiliriz ? Myhill-Nerode benzeri karakterizasyonlarla, dilin …