Изменения

[[Файл:Klenee.png|200px|thumb|right|Автомат для замыкания Клини регулярного языка]]

1. <tex>Reg \subset Aut</tex>

Для доказательства будем строить автоматы, допускающие регулярные языки. При этом будем использовать индукцию по номеру поколения регулярного языка.