§ 17.4

Лемма о разрастании для автоматных языков