Аноним

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

Материал из WikiGrapp
нет описания правки
(заменил <\math> на </math>)
Нет описания правки
Строка 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))=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))=L(w_1)L(w_2),</math>


<math>L((w)^*)</math>=<math>(L(w))^*</math>.
<math>L((w)^*)</math>=<math>(L(w))^*</math>.
12

правок