Para a correta modelagem de sistemas complexos, torna-se necessário adotar uma formalidade matemática para garantir o correto desenvolvimento do projeto. Dito isso, uma máquina determinística de estado finito ou aceitador determinístico de estado finito é dada por (ver Fórmula 1), sendo assim, pode-se dizer que:

Uma máquina determinística de estados finitos (DFA) é formalmente definida como o 5-tupla:

$M = (S,\; s_0,\; \Sigma,\; \delta,\; F)$

em que:

• $S$ é um conjunto finito de estados;
• $s_0 \in S$ é o estado inicial;
• $\Sigma$ é um conjunto finito (alfabeto) de símbolos de entrada;
• $\delta$ é a função de transição, tipicamente $\delta: S \times \Sigma \to S$;
• $F \subseteq S$ é o conjunto de estados finais (de aceitação).

Analisando as alternativas:

• A) errada, pois $S$ não é infinito; é finito.
• B) apesar de a notação estar um pouco estranha (“função atual de estado”), a função de transição $\delta: S \times \Sigma \to S$ está correta; porém a questão pede a afirmação correta dentre as opções e há uma definição mais direta e inequívoca.
• C) errada: $F$ não é conjunto de números de saída; é conjunto de estados de aceitação.
• D) correta: $\Sigma$ é o conjunto finito de símbolos de entrada.
• E) errada: $s_0$ é o estado inicial, não o final.

Alternativa correta: (D).