4194
правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 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>\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> |