Leia o texto abaixo: Autômatos Finitos Determinísticos É baseado no conceito de diagrama de estados. As entradas da máquina de estados são os sucessivos símbolos da cadeia de entrada. • Um símbolo por vez é lido da esquerda para a direita • O símbolo “da vez” determina cada transição (mudança de estado) Para comparar, um AFD é quase como uma MT mais limitada que, em toda transição, move para direita e para/interrompe quando acabam os símbolos da entrada. Podemos dizer que há dois tipos principais de estados • Estados de aceitação, representados com círculos duplos • Estados de “não-aceitação”, representados com um círculo simples Observação: o estado inicial pode ser de qualquer um desses tipos. Dizemos que um AFD X aceita uma cadeia w quando: • o X leu toda1 a cadeia w e o Ao final (após ler a cadeia), termina em um estado de aceitação Consideramos que X rejeita a cadeia w, caso contrário. Podemos dizer que AFD representa ou decide uma linguagem aceitando as cadeias que fazem parte dela e rejeitando as cadeias que não fazem. Ou podemos dizer que ele resolve ou decide um problema de decisão quando dá a resposta aceita ou rejeita corretamente para toda entrada possível. Fonte: AUTÔMATOS Determinísticos (AFDs). Wikiversidade, [s.d.]. Disponível em: https://pt.wikiversity.org/wiki/2.1_Aut%C3%B4matos_Determin%C3%ADsticos_(AFDs). Acesso em: 21 mar. 2023. Em termos de comparação, um Autômato Finito Determinístico é semelhante a Grupo de escolhas da pergunta um AFD. estados de aceitação. um problema de decisão. uma máquina de Turing. uma linguagem.