47
правок
ALEXM (обсуждение | вклад) Нет описания правки |
ALEXM (обсуждение | вклад) Нет описания правки |
||
Строка 15: | Строка 15: | ||
(3) for all regular expressions <math>w_1</math> and <math>w_2</math> over <math>\Sigma</math>, we have | (3) for all regular expressions <math>w_1</math> and <math>w_2</math> over <math>\Sigma</math>, we have | ||
L((w_1 +w_2))<math>=< | <math>L((w_1 +w_2))</math>=<math>L(w_1))\bigcup L(w_2), </math> | ||
<math>L | <math>L((w_1 w_2))</math>=<math>L(w_1)L(w_2),</math> | ||
<math>L((w)^*)</math>=<math>(L(w))^*</math>. | <math>L((w)^*)</math>=<math>(L(w))^*</math>. |
правок