Изменения

Доказательство нерегулярности языков: лемма о разрастании

22 байта убрано, 22:29, 10 марта 2018

→‎См. также

== См. также ==

* [[Лемма о разрастании для КС-грамматик]]

* [[~~Интерпретация булевых формул~~ Булевые формулы с кванторами как ~~игр~~ игры для двух игроков]]

== Примечания ==

442

правки