(Máquina de Turing)

(Máquina de Turing)

(Variantes da Máquina de Turing)

(Máquina de Turing e Linguagens Recursivamente Enumeráveis)

(Problema da Correspondência de Post)

(Complexidade de Tempo)

(Decidibilidade e Redutibilidade)

Dê um exemplo de um problema que não é Turing-reconhecível, justificando sua resposta (isto

é, enunciando o problema sob a forma de uma linguagem, e demonstrando que tal linguagem
não é Turing-reconhecível)
(Decidibilidade e Redutibilidade)

Seja INFINITA(AFD) = {<A>|A é um AFD e L(A) é uma linguagem infinita}. Mostre que
INFINITA(AFD) é decidível.

(Indecidibilidade)

Considere a propriedade P de liguagens: “tem no mínimo 15 cadeias”

(a) P é uma propriedade decidível de máquinas de Turing (i.e., o conjunto de códigos para MT’s
cuja linguagem tem propriedade P é decidível)? Justifique/prove.
(b) P é recursivamente enumerável? Justifique/prove

(Redutibilidade)

Formule o problema de se testar se a linguagem de uma máquina de Turing é vazia, como uma
linguagem, e mostre que é indecidível.

(Diversos)

1) Mostre que o problema de uma AFD reconhece todas as cadeias pertencentes a E* é

decidível

2) A={<A,B>|A é um AFD e reconhece as linguagens geradas pela expressão regular B}

3) A={<M>|M é um AFD que não aceita nenhuma cadeia contendo uma quantidade de 1’s
múltiplos de 3}. Mostre que A é decidível.

4) A = {w#w | w pertence {0,1}*}

5) X(AFD) = {<A,B>|A é um AFD e reconhece as linguagens geradas por B, onde B é uma E.R}

6) A={<M>|M é um AFD que não aceita nenhuma cadeira, contendo um número impar de
1,s}. Mostre que A é decidível.

7) Seja A(EGLC) = {<G>|G é uma GLC que gera E}. Mostre que A(EGLC) é decidível.

8) A(AFN) = {<B,w>|B é um AFN que aceita a cadeia w como entrada}

9) Defina uma MT que decida A={0 ^2^n)|n>=0}.

10) Defina uma MT que decida B={aibjck)|i x j = k e i, j, k >= 1}.

11) Defina uma MT que decida C={#x1#x2#...#xn#)|cada xi pertence {0,1}* e xi != xj para cada i
!= j}.