1. {w pert. {a,b}* | w não contém a subcadeia ab}

b*a*

2. {w pert. {a,b}* | w não contém a subcadeia ab, nem ba}

a* U b*

3. {w pert. {a,b}* | w tem um número par de as e cada a é seguido por pelo menos um b}

b*(ab+ab+)*

4. {w pert. {1,2}* | para todos os prefixos p de w, se |p| > 0 e |p| é par, então o último caracter de p é 1}

(E1)*E?

5. {w pert. {0,1}* | |w| >= 3 e o terceiro símbolo de w é 0}

EE0E*

6. {w pert. {0,1}* | |w| <= 5}

E?E?E?E?E?

7. {w pert. {0,1}* | toda posição ímpar de w é um 1}

(1E)*1?

8. {w pert. {a,b}* | (w contém a subcadeia ab) --> (w contém a subcadeia ba)}

b*a* U E*baE*