O programa deve ser capaz de funcionar para cada um dos autômatos abaixo.
- Alfabeto = {a, b}
- L = {w | w possua aa ou bb como sub palavra}
- L = {w | entre dois a's de w, há quantidade par de b's }
- L = {w | w tenha aa ou aba, como subpalavra }
- L = {w | entre dois b's de w, há quantidade impar de a's }