Изменения
Нет описания правки
*<tex>L = \left\{c \right\}</tex>
'''Индукционный переход'''. Умеем строить автоматы для языков<tex>n</tex>-ого поколения. Будем строить для <tex>n + 1</tex>.
Для этого достаточно научиться строить автоматы для следующих языков (<tex>L, M \in Reg_n</tex>):
*<tex>L^\prime = L \cup M</tex>
