43
правки
Изменения
Нет описания правки
'''Операции над языками'''
1)
* <tex>L \cup M</tex> - ''объединение''* <tex>L \cap M </tex> - ''пересечение''* <tex>L \setminus M</tex> - ''разность''
2)
''Дополнение языка''
<tex> \setminus L</tex>=<tex>L \eps^* \setminus L</tex>
3)
''Конкатенация''
<tex>LM={\alpha\beta|\alpha \in L, \beta \in M}</tex>
Если язык состоит из одного слова<tex>{\alpha}</tex>, то для упрощения записи его можно обозначить, как \alpha. Тогда можно определить L\alpha и L\eps
4)
''Конкатенация с обратным словом''
<tex>Lс^-1={\alpha|\alpha c \subset L}</tex>
5)
''Замыкание Клини''
<tex>L^*=\bigcup_{i=0}^{\infty}L^i</tex>
<tex>L^i=LL^(i-1)</tex>
<tex>L^1=L</tex>
<tex>L^0={\eps}</tex>
'''Пример''':
<tex>L={a,ab}</tex>
<tex>L^*={\eps,a,ab,aa,aab,aba,abab,...}</tex>
