No contexto da Teoria da Computação, os autômatos finitos são modelos formais utilizados para o reconhecimento de linguagens regulares. O Autômato Finito Determinístico (AFD) e o Autômato Finito Não Determinístico (AFN) distinguem-se principalmente quanto à definição e ao comportamento da função de transição δ. Com base nas definições formais desses modelos, informe se é verdadeiro (V) ou falso (F) o que se afirma a seguir e assinale a alternativa com a sequência correta.
( ) Em um AFD, são permitidas transições vazias (ε) que possibilitam a mudança de estado sem o consumo de símbolos da entrada. ( ) Formalmente, no AFD, a função de transição pode ser representada por δ: Q × Σ → Q. ( ) Em um AFN, o processamento de uma cadeia pode ocorrer por múltiplos caminhos de execução possíveis a partir de um mesmo estado e símbolo de entrada. ( ) No AFN, a função de transição pode ser formalmente representada por δ: Q × Σ → P(Q).