Autômatos finitos é um sistema formal M = (K, Σ, de 0, F), em que K é um conjunto finito não vazio de estados, Σ é o alfabeto de símbolos de entrada, d é a função de transição, e0 é o estado inicial (e0 Î K) e F é o conjunto de estados finais (F Í K), podendo ser representado por meio de diagramas de transição (DT) ou grafos de transição (GT), como também são conhecidos. MARTINS, J. Linguagens formais e compiladores. 43 f. Notas de Aula (Curso de Ciências da Computação) – Universidade Regional de Blumenau, Blumenau, SC, 2002. A partir disso, assinale a alternativa verdadeira sobre autômatos finitos.