Problema: Pares (TM)

Crie uma máquina de Turing determinista de uma única fita evenTM 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.

Formato do input

A sua submissão deve consistir numa declaração de máquina de Turing de uma fita, com o nome pedido.

Para exemplificar, eis a declaração dum outra máquina de Turing sobre o mesmo alfabeto:

tm(abTM,
   q0,                                                      % estado inicial
   {q0/'B'/'B'/'R'/q0, q0/a/a/'L'/q0,    q0/'B'/'B'/'R'/q1, % transicoes
    q1/a/b/'R'/q1,     q1/b/a/'R'/q1,    q1/'B'/'B'/'L'/q2,
    q2/a/a/'L'/q2,     q2/b/b/'L'/q2,    q2/'B'/'B'/'R'/q3
   },
   {q3}                                                     % 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.