Изменения

## Ещё один пример нерегулярного языка, для которого выполнена лемма о разрастании (с википедии)

## Доказательство леммы о накачке в общем виде

## Добавить ссылок

## Добавить алгоритм проверки на эквивалентность не через минимизацию