Аноним

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

Материал из WEGA
нет описания правки
Нет описания правки
Нет описания правки
Строка 16: Строка 16:
(3) <math> L^* = \bigcup\limits_{n\geq O} L^n </math> .
(3) <math> L^* = \bigcup\limits_{n\geq O} L^n </math> .


[[Позитивная итерация|''Позитивная итерация'']] языка <math>L</math>, обозначаемая через
[[Позитивная итерация языка|''Позитивная итерация языка'']] <math>L</math>, обозначаемая через
<math>L^+</math> , --- это язык <math>\bigcup\limits_{n\geq 1} L^n</math>. Заметим, что
<math>L^+</math> , --- это язык <math>\bigcup\limits_{n\geq 1} L^n</math>. Заметим, что
<math>L^+=LL^*=L^*L</math> и <math>L^*=L^+\cup\{e\}.</math>
<math>L^+=LL^*=L^*L</math> и <math>L^*=L^+\cup\{e\}.</math>