ТРЯП-5. Структурные свойства регулярных языков

Лемма о накачке, алгоритм минимизации ДКА, теорема Майхилла-Нероуда