Imagem de fundo

No contexto da Teoria da Computação, os autômatos finitos são modelos formais utilizado...

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).


A

V – F – F – F.


B

V – V – F – F.


C

F – F – V – V.


D

F – V – F – V.


E

F – V – V – V.