Аноним

Regular expression: различия между версиями

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


<math>L</math>((w_1 w_2))<math>=</math>L(w_1)L(w_2),
<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>.




47

правок