Buscar

Acerca das características dos problemas decidíveis e indecidíveis e das diferentes linguagens da hierarquia de Chomsky e suas respectivas máqu...

Acerca das características dos problemas decidíveis e indecidíveis e das diferentes linguagens da hierarquia de Chomsky e suas respectivas máquinas reconhecedoras, analise as a�rmações a seguir e assinale a falsa. Seja G1 qualquer gramática irrestrita e G2 seja qualquer gramática regular, então L(G11) ∩ L(G22) = ∅, é indecidível. Nenhum procedimento computacional é considerado um algoritmo a menos que seja representado pela máquina de Turing. Dadas duas gramáticas livres de contexto G1 e G2, é indecidível se L(G1) = L(G2). O problema da parada de uma máquina de Turing é indecidível. É possível construir uma máquina de Turing que aceita qualquer cadeia de comprimento par.
I) Entra em loop in�nito para cadeias em L.
II) Aceita L.
III) Rejeita L.
IV) Resolve o problema em um tempo de execução polinomial.
V) Resolve o problema da Parada.
I, II e III.
III, IV e V.
I, III e V.
II e III.
IV e V.

Essa pergunta também está no material:

EPSS
5 pág.

Linguagens Formais Universidade Estácio de SáUniversidade Estácio de Sá

💡 1 Resposta

User badge image

Ed Verified user icon

A afirmação falsa é: "Dadas duas gramáticas livres de contexto G1 e G2, é indecidível se L(G1) = L(G2)." Essa afirmação é falsa porque é decidível verificar se duas gramáticas livres de contexto geram a mesma linguagem. Isso pode ser feito construindo uma gramática G3 que gera a interseção das linguagens geradas por G1 e G2, e então verificando se G3 é equivalente a G1 e G2. Se G3 for equivalente a G1 e G2, então L(G1) = L(G2). Caso contrário, L(G1) ≠ L(G2).

0
Dislike0

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

✏️ Responder

SetasNegritoItálicoSublinhadoTachadoCitaçãoCódigoLista numeradaLista com marcadoresSubscritoSobrescritoDiminuir recuoAumentar recuoCor da fonteCor de fundoAlinhamentoLimparInserir linkImagemFórmula

Para escrever sua resposta aqui, entre ou crie uma conta

User badge image

Outros materiais