Изменения

# [[Теорема Клини (совпадение классов автоматных и регулярных языков)]]

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

## Исправить неясный переход во второй части утверждения (да и вообще лучше доказательство поясней написать)

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

## Добавить ещё что-нибудь про то, где используются такие системы (кроме теоремы Клини)

# '''!!!''' [[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]]

## Написать, почему получение регулярного выражение из системы уравнений лучше, чем напрямую из теоремы Клини