43
правки
Изменения
Нет описания правки
2)
''Дополнение языка''
<tex> \setminus L</tex>=<tex>L \epsvarepsilon^* \setminus L</tex>
3)
''Замыкание Клини''
<tex>L^*=\bigcup_{i=0}^{\infty}L^i</tex>
<tex>L^i=LL^({i-1)}</tex>
<tex>L^1=L</tex>
<tex>L^0={\epsvarepsilon}</tex>
'''Пример''':
<tex>L={a,ab}</tex>
<tex>L^*={\epsvarepsilon,a,ab,aa,aab,aba,abab,...}</tex>
