940
правок
Формальный язык: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 4: | Строка 4: | ||
Среди основных из них --- операции конкатенации и итерации. | Среди основных из них --- операции конкатенации и итерации. | ||
Язык <math>L_1 L_2</math>, называемый [[конкатенация языков|''конкатенацией'']] (а также [[сцепление языков|''сцеплением'']] или [[произведение языков|''произведением'']]) языков <math>L_1</math> и <math>L_2</math>, --- это язык <math>\{\alpha\beta: \alpha \in L_1 | Язык <math>L_1 L_2</math>, называемый [[конкатенация языков|''конкатенацией'']] (а также [[сцепление языков|''сцеплением'']] или [[произведение языков|''произведением'']]) языков <math>L_1</math> и <math>L_2</math>, --- это язык | ||
L_2\}.</math> | <math>\{\alpha\beta: \alpha \in L_1 </math> и <math> \beta \in L_2\}.</math> | ||
''Итерация'' языка <math>L</math>, обозначаемая через <math>L^*</math>, | ''Итерация'' языка <math>L</math>, обозначаемая через <math>L^*</math>, | ||
| Строка 12: | Строка 12: | ||
(1) <math> L^o = \{e\}</math> | (1) <math> L^o = \{e\}</math> | ||
(2) <math> L^n = LL^{n-1} | (2) <math> L^n = LL^{n-1} </math> для <math> n \geq 1</math> ; | ||
(3) <math> L^* = \bigcup\limits_{n\geq O} L^n </math> . | (3) <math> L^* = \bigcup\limits_{n\geq O} L^n </math> . | ||