Доказательство «выкачивания леммы» из книги ‹ Введение в теорию вычислений › : Лемма о накачке: если A — регулярный язык, то существует число p (длина накачки), где, если s — любая строка в A длины не менее p, то s можно разделить на три части, s...