Dizemos que $R$ é uma expressão regular se $R$ é:

  1. $a \in \Sigma$
  2. $\varepsilon$
  3. $\emptyset$
  4. $(R_1 \cup R_2), R_1 \text{ e } R_2 \text{ expressões regulares}$
  5. $R_1 R_2$
  6. $R_1*$

Se $R=a$ é uma ER então $L(R)={a}$.

Se $R=\varepsilon$ é uma ER então $L(R)={ \varepsilon }$.

Se $R=\emptyset$ é uma ER então $L(R)={\emptyset}$.

E se quiser escrever a expressão regular que denota $L={a,b}$?

$R=a|b$

Se $R_1$ e $R_2$ são ERs, $L(R_1/R_2)=L(R_1)\cup L(R_2)$.

E q expressão regular para denotar $L={ab}$?

$R=ab$

Se $R_1$ e $R_2$ são ERs, $L(R_1R_2)=L(R_1).L(R_2)$.

E se a pessoa expressão regular para denotar $L={ \varepsilon , a,aa,aaa,…}$?

$R=a*$

Se $R_1$ é ER, $L(R_1*)=\lbrace \text{ é o conjunto de zero ou mais repetições de }R_1\rbrace$.