| Crie um autómato finito determinista evenFA que reconheça a linguagem das sequências de "a"s e "b"s, onde o símbolo "b" ocorre um número par de vezes. Não se esqueça de que zero é um número par. |
Para exemplificar, eis a declaração dum outro autómato finito sobre o mesmo alfabeto:
fa(abFA,
1, % estado inicial
{1/a/1, 1/b/2, % transicoes
2/b/2, 2/b/1
},
{2} % estados finais
).
Repare que a sintaxe aqui exigida é pouco diferente da usada nas aulas. Um conselho: resolva primeiro o problema à maneira das aulas e depois traduza para a sintaxe pretendida.
Por favor, não se esqueça do "ponto" no final da declaração.