12
правок
Glk (обсуждение | вклад) (Новая страница: «'''Regular expression''' --- регулярное выражение. Assume that <math>\Sigma</math> and <math>\Sigma'=\{+, ^*, \emptyset , (,)\}</math> are disjoi…») |
AlexM (обсуждение | вклад) (Отмена правки 10249 участника AlexM (обсуждение)) |
||
(не показаны 3 промежуточные версии этого же участника) | |||
Строка 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>L((w_1 +w_2))=L(w_1))\bigcup L(w_2), </math> | ||
<math>L | <math>L((w_1 w_2))=L(w_1)L(w_2),</math> | ||
<math>L((w)^*)</math>=<math>(L(w))^*< | <math>L((w)^*)</math>=<math>(L(w))^*</math>. | ||
правок