Exercícios sobre Autômatos

---

$L_1=\{\omega \in \{0,1{\}}^{\ast }|\omega \text{representa um nuˊmero binaˊrio ıˊmpar}\}$

Números binários ímpares:

• 1 = 1
• 3 = 11
• 5 = 101
• 7 = 111 $\therefore$ sempre termina em 1

$L_2=\{\omega \in \{0,1{\}}^{\ast }|\omega \text{comec¸a com b e tem uma quantidade par de a}\}$

Lê-se

$L_3$ é o conjunto de todas as palavras $w$ formadas pelas letras $a$ e $b$, tais que $w$ começa com $b$ e tem uma quantidade par de letras $a$

Referências

---