Um AFD – Autômato Finito Determinístico é representado por um dígrafo denominado diagrama de estado. Nesse dígrafo, os vértices representam os estados, as arestas nomeadas com o alfabeto de entrada mostram as transições, o estado inicial é definido por uma única aresta vazia, e o estado final é indicado por um círculo duplo, como abaixo. Dado o dígrafo do exemplo, qual tabela representa a função de transição? A B C D