Problema: ParATemB (FA)

Crie um AFD paratembFA que reconheça a seguinte linguagem sobre o alfabeto {a,b,c}:

Não se esqueça de que zero é um número par.

(Adaptado do exame de LFA 2005/06, 28/Jun/2006, pergunta 2a).)

Formato do input

A sua submissão deve consistir numa declaração de autómato finito, com o nome pedido.

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.