1. O documento discute provas sobre autômatos e computabilidade, incluindo se linguagens são decidíveis ou não dependendo de suas propriedades.
2. É mostrado que se uma linguagem é reduzida a outra decidível, ela também é decidível, mas que determinar se uma máquina de Turing reconhece uma linguagem regular é indecidível.
3. Uma lista de todas as máquinas de Turing e cadeias é usada para provar que o problema de aceitação de máquinas de Turing é indecidível por redução a uma linguagem indec
SBIE 2014 - Student's satisfaction with Mastery Learning in an Introductory ...Luiz Augusto Macêdo Morais
Apresentação realizada no 25º Simpósio Brasileiro de Informática na Educação.
Falei sobre o método de ensino-aprendizagem Mastery Learning e mostrei resultados positivos em relação à satisfação dos alunos.
CIDADANIA E PROFISSIONALIDADE 4 - PROCESSOS IDENTITÁRIOS.pptxMariaSantos298247
O presente manual foi concebido como instrumento de apoio à unidade de formação de curta duração – CP4 – Processos identitários, de acordo com o Catálogo Nacional de Qualificações.
SBIE 2014 - Student's satisfaction with Mastery Learning in an Introductory ...Luiz Augusto Macêdo Morais
Apresentação realizada no 25º Simpósio Brasileiro de Informática na Educação.
Falei sobre o método de ensino-aprendizagem Mastery Learning e mostrei resultados positivos em relação à satisfação dos alunos.
CIDADANIA E PROFISSIONALIDADE 4 - PROCESSOS IDENTITÁRIOS.pptxMariaSantos298247
O presente manual foi concebido como instrumento de apoio à unidade de formação de curta duração – CP4 – Processos identitários, de acordo com o Catálogo Nacional de Qualificações.
Slides Lição 10, CPAD, Desenvolvendo uma Consciência de Santidade, 2Tr24.pptxLuizHenriquedeAlmeid6
Slideshare Lição 10, CPAD, Desenvolvendo uma Consciência de Santidade, 2Tr24, Pr Henrique, EBD NA TV, Lições Bíblicas, 2º Trimestre de 2024, adultos, Tema, A CARREIRA QUE NOS ESTÁ PROPOSTA, O CAMINHO DA SALVAÇÃO, SANTIDADE E PERSEVERANÇA PARA CHEGAR AO CÉU, Coment Osiel Gomes, estudantes, professores, Ervália, MG, Imperatriz, MA, Cajamar, SP, estudos bíblicos, gospel, DEUS, ESPÍRITO SANTO, JESUS CRISTO, Com. Extra Pr. Luiz Henrique, de Almeida Silva, tel-What, 99-99152-0454, Canal YouTube, Henriquelhas, @PrHenrique, https://ebdnatv.blogspot.com/
LIVRO MPARADIDATICO SOBRE BULLYING PARA TRABALHAR COM ALUNOS EM SALA DE AULA OU LEITURA EXTRA CLASSE, COM FOCO NUM PROBLEMA CRUCIAL E QUE ESTÁ TÃO PRESENTE NAS ESCOLAS BRASILEIRAS. OS ALUNOS PODEM LER EM SALA DE AULA. MATERIAL EXCELENTE PARA SER ADOTADO NAS ESCOLAS
Livro de conscientização acerca do autismo, através de uma experiência pessoal.
O autismo não limita as pessoas. Mas o preconceito sim, ele limita a forma com que as vemos e o que achamos que elas são capazes. - Letícia Butterfield.
proposta curricular da educação de jovens e adultos da disciplina geografia, para os anos finais do ensino fundamental. planejamento de unidades, plano de curso da EJA- GEografia
para o professor que trabalha com a educação de jovens e adultos- anos finais do ensino fundamental.
Sequência Didática - Cordel para Ensino Fundamental ILetras Mágicas
Sequência didática para trabalhar o gênero literário CORDEL, a sugestão traz o trabalho com verbos, mas pode ser adequado com base a sua realidade, retirar dos textos palavras que iniciam com R ou pintar as palavras dissílabas ...
Sequência Didática - Cordel para Ensino Fundamental I
Prova 03 de Autômatos e Computabilidade
1. Autˆomatos e Computabilidade: Prova 3
1. Diga se cada uma das seguintes afirma¸c˜oes ´e verdadeira ou falsa. Justifique sua resposta.
(a) Se L ´e decid´ıvel, LR pode ser ou n˜ao ser decid´ıvel. (LR ´e o reverso da linguagem L.)
Resposta: Falso. Se existe uma MT M que decide L, podemos construir uma
outra que decide M :
M = “Sobre a entrada w:
1. Obtenha wR invertindo w.
2. Rode M sobre wR.
3. Se M aceita, aceite; se rejeita, rejeite.”
(b) Se L ⊆ {0}∗ ent˜ao L ´e decid´ıvel.
Resposta: Falso. Podemos codificar qualquer linguagem indecid´ıvel, como AMT,
usando o alfabeto un´ario {0}. Por exemplo, podemos codificar cadeias s ∈ Σ∗ na
forma 0n, onde n ´e a posi¸c˜ao de s em uma lista de todas as cadeias sobre Σ em ordem
lexicogr´afica. Se Σ = {a, b}, ent˜ao a = 0, b = 00, aa = 000, ab = 0000 etc.
(c) Se L ≤m {0n1n| n ≥ 0}, ent˜ao L ´e decid´ıvel.
Resposta: Verdadeiro. A linguagem A = {0n1n| n ≥ 0} ´e livre-do-contexto e,
portanto, decid´ıvel. Se L se reduz a uma linguagem decid´ıvel, ent˜ao L tamb´em ´e
decid´ıvel.
(d) Se L ´e Turing-reconhec´ıvel e L ⊆ L ent˜ao L tamb´em ´e Turing-reconhec´ıvel, porque a MT
que aceita cadeias de L tamb´em aceita cadeias de L .
Resposta: Falso. L = Σ∗ ´e regular e, portanto, Turing-reconhec´ıvel, mas AMT ⊆ L
n˜ao ´e Turing-reconec´ıvel.
(e) Existe uma MT U que recebe M como entrada e computa uma MT M tal que, sobre uma
cadeia de entrada w, M aceita w se e somente se M para sobre w.
Resposta: Verdadeiro. Por exemplo:
U= “Sobre a entrada M :
1. Construa a seguinte MT M .
M : “Sobre a entrada w:
1. Rode M sobre w.
2. Se M para, aceite.”
2. Dˆe como sa´ıda M .”
(f) A linguagem EQMT,AFD = { M | M ´e uma MT e existe um AFD D tal que L(M) = L(D)}
´e decid´ıvel, pois todo AFD reconhece uma linguagem regular, e toda linguagem regular ´e
decid´ıvel.
Resposta: Falso. L(D) ´e uma linguagem regular. Pelo teorema de Rice, o pro-
blema de se determinar se uma MT aceita uma linguagem regular ´e indecid´ıvel.
2. Suponha que A ´e Turing-reconhec´ıvel e que A ≤m A. Prove que A ´e decid´ıvel.
Resposta: Se A ≤m A, ent˜ao A ≤m A. Pela redu¸c˜ao, se A ´e Turing-reconhec´ıvel, ent˜ao
A tamb´em ´e Turing-reconhec´ıvel. Se uma linguagem e seu complemento s˜ao Turing-
reconec´ıveis, ent˜ao ela ´e decid´ıvel.
2. 3. Suponha que construimos uma lista de todas as descri¸c˜oes de m´aquinas de Turing, e.g., em ordem
lexicogr´afica: M1 , M2 , . . . , Mi , . . ., e uma lista de todas as cadeias: w1, w2, . . . , wi, . . .. Suponha
que ambas listas s˜ao comput´aveis: para qualquer i, ´e poss´ıvel determinar Mi e wi; tamb´em, dada
M , ´e poss´ıvel determinar i tal que Mi = M e, similarmente, dada w, ´e poss´ıvel determinar i
tal que wi = w.
Ainda, suponha que a seguinte linguagem seja indecid´ıvel: Ld = {w| existe i para o qual w = wi e
Mi n˜ao aceita wi}. Prove, ent˜ao, que AMT = { M, w | M ´e uma MT que aceita w} ´e indecid´ıdivel
por redu¸c˜ao a partir de Ld ou Ld.
Resposta: Suponha que AMT seja decid´ıvel. Ent˜ao, existe uma MT R que decide AMT.
Podemos construir uma MT U que decide Ld, da seguinte forma:
U= “Sobre a entrada w:
1. Determine i tal que wi = w.
2. Compute Mi .
3. Rode R sobre Mi, wi .
4. Se R aceita, rejeite, e se rejeita, aceite.”
Como sabemos que Ld ´e indecid´ıvel, U n˜ao pode existir, o que implica que AMT deve ser
indecid´ıvel.
4. (2 pontos) Prove que a linguagem L = { M | M aceita alguma cadeia w em, no m´aximo, |w|
passos} ´e Turing-reconhec´ıvel.
Resposta: A seguinte MT U reconhece L:
U= “Sobre a entrada M :
1. Enumere cadeias w ∈ Σ∗.
2. Rode M sobre cada cadeia w por |w| passos.
2. Se M aceita, aceite.”
5. (1 ponto) Como visto em aula, ´e poss´ıvel construir uma m´aquina de Turing AUTO que imprime
sua pr´opria descri¸c˜ao, concatenando duas m´aquinas de Turing A e B. Descreva as m´aquinas A e
B.
Resposta: A MT A = P B ignora sua entrada e escreve B na fita:
A= “Sobre qualquer entrada:
1. Apague a entrada.
2. Escreva B na fita.
3. Pare.”
A MT B, sobre a entrada w, computa Pw, e escreve Pw na frente de w:
B= “Sobre a entrada w:
1. Compute Pw.
2. Insira Pw na fita, na frente de w.
3. Pare.”
Assim a concatena¸c˜ao de A e B (AB) produz como resultado A B = AB