43
правки
Изменения
Нет описания правки
Слово <tex>\alpha</tex> является '''подстрокой''' <tex>\beta</tex>, если <tex>\beta = \gamma\alpha\delta</tex> для некоторого <tex>\gamma,\delta</tex>.
(<tex>\gamma, \delta <\tex> могут быть пустыми)
==Язык==
4)
''Конкатенация с обратным словом''
<tex>Lс^{-1}=\left\{\alpha|\alpha c \subset L\right\}</tex>
5)
<tex>L^1=L</tex>
<tex>L^0=\left\{\varepsilon\right\}</tex>
'''Пример''':
<tex>L=\left\{a,ab\right\}</tex>
<tex>L^*=\left\{\varepsilon,a,ab,aa,aab,aba,abab,...\right\}</tex>
