10
правок
Изменения
м
небольшие переименования переменных в формулах
'''Индукционный переход'''. Умеем строить автоматы для языков<tex>n</tex>-ого поколения. Будем строить для <tex>n + 1</tex>.
Для этого достаточно научиться строить автоматы для следующих языков (<tex>L1L, L2 M \in Reg_n</tex>): *<tex>L ^\prime = L \cup M</tex>*<tex>L ^\prime = LM</tex>*<tex>L ^\prime = L^*</tex>
Заметим, что по предположению индукции автоматы для <tex>L, M</tex> могут быть построены.
