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 , повний графік на п'яти вузлах . Ювал показав подібну структуру для …