Формальный язык: различия между версиями

Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
Строка 4: Строка 4:
Среди основных из них --- операции конкатенации и итерации.
Среди основных из них --- операции конкатенации и итерации.


Язык <math>L_1 L_2</math>, называемый [[конкатенация языков|''конкатенацией'']] (а также [[сцепление языков|''сцеплением'']] или [[произведение языков|''произведением'']]) языков <math>L_1</math> и <math>L_2</math>, --- это язык <math>\{\alpha\beta: \alpha \in L_1 \mbox{ и } \beta \in
Язык <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} \mbox{ для } n \geq 1</math> ;
(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> .