Impresso por iTrab, E-mail isracltrab19@gmail.com para uso pessoal e privado. Este material pode ser protegido por direitos autorais ‘endo pode ser reproduzido ou repassado para terceiros. 12/09/2022 20:53:20 2oinsi202' 18:47 (GRAOS2S LINGUAGENS FORMAIS E AUTOMATOS GR1064-212.9.- 202120,00d-29780731.08, Lem I pontos Pergunta 1 Leia 0 excerto a seguir: “Uma maquina de Turing 6 um autémato cuja fita ndo possui tamanho maximo e pode ser usada, simultaneamente, como dispositivo de entrada, como dispositive de saida e como meméria de trabalho. Partindo desse pressuposto, temos que as linguagens recursivamente enumeraveis ou linguagens tipo 0, por ‘sua vez, so fundamentais na aplicabilidade da maquina de Turing MENEZES, P. B. Linguagens formais e autématos . Sao Paulo: Sagah, 2015. p. 167 A respeito da teoria das linguagens recursivas e de sua aplicabilidade quanto a maquina de Turing, analise as afirmativas a seguir e assinale V para a(s) Verdadeira(s) e F para a(s) Falsa(s). |. () Podemos considerar que, segundo a hipotese de Church, a maquina de Turing é 0 dispositive computacional mais geral. Il () Algumas classes de linguagens podem representar as linguagens recursivamente enumeraveis usando um formalismo axiomatico. Ill (.) Uma gramatica irrestrita possuiré qualquer restrig&io quanto a forma das produges, conforme o madelo de Turing. IV. (.) 0 formalismo gramatical nao possui o mesmo poder computacional que 0 formalismo da maquina de Turing. Assinale a alternativa que apresenta a sequéncia correta jonada: @ VV. F.F. Resposta Sel Resposta Correta: gw V, V,E.F. Comentirio Resposta correta. A sequéncia esta correta, De fato, a hipétese ou modelo de da resposta: Church, a0 tratar da maquina de Turing, tem ela como o dispositivo computacional mais geral e algumas classes de linguagens podem receber a designagao de recursivamente enumeraveis, tratando-se, entéo, de um formalisme axiomatico, ‘essa é a definicdo cientifica por trés do formalismo axiomatico. Lem 1 pontos Pergunta 2 Leia 0 trecho a seguir: “O teorema da nao completude apresenta que todas as formulagées axiomaticas consistentes da teoria dos ntimeros incluem proposigdes indecidiveis, ou seja, que nao podem ser provadas como verdadeiras ou como falsas. Portanto, se um sistema formal é consistente, ele nao pode ser completo, e a consisténcia dos. axiomas nao pode ser provada usando 0 proprio sistema formal’. MENEZES, P. B. Linguagens formais e autématos . Sao Paulo: Sagah, 2015. p. 144 Considerando 0 excerto apresentado sobre o teorema da nao completude e suas formulagées, que nao poderiam ser provadas como verdadeiras ou como falsas, analise as afirmativas a seguir. |. O teorema da nao completude é capaz de provar todas as verdades sobre as. nips blackboard.com/webappslae-couree_engine_sogp-BBLEARN{Contoler?COURSE_1D=_738194_1 wImpresso por iTrab, E-mail isracltrab19@gmail.com para uso pessoal e privado. Este material pode ser protegido por direitos autorais 2oinsi202' 18:47 Pergunta 3 Pergunta 4 hips blackboard.com/webappslae-couree_engine_soap-BBLEARN{Contoler?COURSE.| ‘endo pode ser reproduzido ou repassado para terceiros. 12/09/2022 20:53:20 ‘GRADB2S LINGUAGENS FORMAIS E AUTOMATOS GR1864-212. relagées aritméticas. Il, O teorema da nao completude estabelece limitagao prépria a quase todos os sistemas axiomaticos, exceto aos mais triviais. IIl © teorema da nao completude pode ser usado para manipular qualquer maquina de Turing de tinica fita e, assim, a principio, qualquer computador. IV. Existe uma derivagao formal do teorema da nao completude, tal derivagao 6 uma lista finita de passos, em que cada passo ¢ obtide por meio de um axioma ou de regras de inferéncia basicas aplicadas a passos anteriores. = 202120 008:29780731.06 A seguir, assinale a alternativa correta Resposta Selecionada: @ 1¢ Il, apenas. RespostaCorreta: gw Le Il, apenas. Comentirio Resposta correta. A alternativa esta correta, porque, segundo o matematico Kurt da resposta: G6del, a teoria 6 recursivamente enumeravel e capaz de expressar verdades basicas da aritmética e alguns enunciados da teoria da prova, assim, pode provar ‘sua prépria consisténcia se, e somente se, for inconsistente, assim, por definicéo, ‘0 teorema da nao completude estadelece limitagao prépria a quase todos os sistemas axiomaticos, exceto aos mals trivias, Lem 1 pontos problema de decisdo, o qual questionava a existéncia de um procedimento mecanico (baseado no trabalho de Gottfried Leibniz, que buscava um mecanismo mecdnico de manipulago de formulas) capaz de decidir se, dado um enunciado (proposicao) da légica de primeira ordem, ele seria valido ou nao, em um tempo finito. Assinale a alternativa que indica a definigdo do problema de decisao. Resposta Selecionada: ‘Alen Turing transforma-o em um problema de parada em sua maquine Resposta Corteta: @ Alan Turing transforma-o em um problema de parada em sua maquina. Comentario Resposta correta. A alternativa esta correta, pois a definigdo do problema de da resposta: deciséo se dé por melo de matemiticos que o define como um sistema formal Pretendia-se obter uma teoria aritmética como um sistema formal consistente & completo, 0 que, infelizmente, nao foi possivel, segundo David Hilbert Tem 1 pontos Leia o trecho a seguir “Em 1936, Alonzo Church demonstrou a tese de Church, na qual afirmou que qualquer fungao computavel poderia ser processada através de uma maquina de Turing, dessa forma, se criou a premissa de que sempre existird um procedimento definido, no qual uma maquina de Turing processara uma fungao ‘computacional’, MENEZES, P. B. Linguagens formais e autématos . Sao Paulo: Sagah, 2015. p. 159. Considerando o excerto apresentado sobre as propriedades da maquina de Turing, analise as afirmativas a seguir. 7381941 anImpresso por iTrab, E-mail isracltrab19@gmail.com para uso pessoal e privado. Este material pode ser protegido por direitos autorais 2oinsi202' 18:47 Pergunta 5 hips blackboard.com/webappslae-couree_engine_soap-BBLEARN{Contoler?COURSE.| ‘endo pode ser reproduzido ou repassado para terceiros. 12/09/2022 20:53:20 (GRAOS2S LINGUAGENS FORMAIS E AUTOMATOS GR1064-212.9.- 202120,00d-29780731.08, |. E impossivel apresentar formalmente se a maquina de Turing é, de fato, 0 modelo mais genérico de dispositivo computacional. Il. Todos os modelos conhecidos propostos apés a maquina de Turing possuem, no maximo, a mesma capacidade computacional da maquina de Turing lll. A tese de Church nao foi assumida como uma hipotese para toda a teoria da computagao, razo pela qual nao 6 empregada. IV. Amaquina de Turing é um autémato cuja fita possui tamanho maximo e pode ser usada simultaneamente como dispositivo de entrada e de saida. Esta correto o que se afirma em Resposta Sel jonada: @ Vell, apenas, Resposta Correta: gL Il, apenas. Comentitio Resposta correta. A altemativa esté correta, porque & impossivel apresentar da resposta: formaimente se a maquina de Turing 6, de fato, 0 modelo mais genérico de dispositive computacional, dado que se trata de uma nogdo intuitiva endo matematica, e todos os modelos conhecidos propostos apés a maquina de Turing possuem, no maximo, a mesma capacidade computacional da maquina de Turing, ‘0 que, por sua vez, Indica que as alternativas | e Il corretas, As altemativas Ill e IV estéo incorrelas, quanto a impossibllidade de representar formalmente a maquina de Turing como modelo mais genérico, bem como a capacidade maxima ‘computacional. Lem 1 pontos Leia 0 excerto a seguir: Uma linguagem recursiva é uma linguagem formal, capaz de indicar se determinada palavra w pertence ou ndo a linguagem, ou seja, para uma dada linguagem L , existird uma maquina de Turing que é determinada por w€ L ou w €~L, logo, teremos entradas finitas, onde se uma dada palavra pertencer a linguagem, esta é aceita, se nao, esta é recusada MENEZES, P. B. Linguagens formais e autématos . Sao Paulo: Sagah, 2015. p. 157, A respeito das linguagens recursivas e dos autématos e suas classes, analise as afirmativas a seguir e assinale V para a(s) Verdadeira(s) e F para a(s) Falsa(s). |. (.) See L, o algoritmo nao pode identificar a palavra que pertence & linguagem. IC) Se w € =L, 0 algoritmo pode ficar em loop infinito. lll. (.) As duas classes de linguagem recursiva nao contrariam a ideia de algumas pessoas IV. () Reconhecer 0 complemento de uma linguagem ndo é possivel. Assinale a alternativa que apresenta a sequéncia correta. Resposta Selecionada: @ F. V.F.F. Resposta Correta, gg, RV, Comentirio Resposta correta. A sequéncia esta correta, pois sabe-se que é chamada de dda resposta: ®0UfSva se 6 um subconjunto recursivo no conjunto de todas as palavras possiveis sobre o alfabeto da linguagem. Logo, uma linguagem é uma classe recursiva se existe umia maquina de Turing que sempre para quando recebe uma sequéncia finita de simbolos do alfabeto da linguagem como entrada e que aceita 7381941 a7Impresso por iTrab, E-mail isracltrab19@gmail.com para uso pessoal e privado. Este material pode ser protegido por direitos autorais ‘endo pode ser reproduzido ou repassado para terceiros. 12/09/2022 20:53:20 2oinsi202' 18:47 (GRAOS2S LINGUAGENS FORMAIS E AUTOMATOS GR1064-212.9.-202120,00d-29780731.08, ‘exatamente as palavras do alfabeto da linguagem, que sao parte da linguagem, @ rejeita todas as outras palavras. Lem 1 pontos Pergunta 6 Leia o trecho a seguir: “Com o passar do tempo varios modelos surgiram, e a maquina de Turing é 0 modelo mais basilar da teoria da computagao, porém, apesar das varias modificagdes, observou-se que, ao mudar as variéveis, os outros modelos nao se mostraram diferentes em relagao 4 maquina de Turing”. MENEZES, P. B. Linguagens formais e autématos . Sao Paulo: Sagah, 2015. p. 114. Considerando 0 excerto apresentado sobre a defini¢ao do modelo autémato com miltiplas pilhas, analise as afirmativas a seguir: |. As combinagées de muiltiplas modificages na maquina de Turing aumenta o poder computacional da maquina de Turing Il. Trata-se de uma nitida proporgao entre a maquina de Turing e as pilhas. Ill, Adicionar um maior numero de pilhas ndo gerara aumento da eficacia ‘computacional. IV. A definigao basica ¢ que a maquina de Turing permite que a fita seja limitada dos dois lados. Esta correto 0 que se afirma em Resposta Selecionada: @ le Ill, apenas Resposta Correta: Ie Ill, apenas. Comentério Resposta correta. A altemativa esta correta, pois, conforme citado da resposta: no estudo das linguagens livres do contexto, o poder computacional do autémato com duas pilhas ¢ 0 mesmo da maquina de Turing, por definicdo. Dessa forma, temos uma nitida equivaléncia entre ambos. Logo, com um maior ntimero de pilhas, nao se terd aumento na capacidade computacional, o que faz com que as alternativas Ile Ill estejam corretas. Lem 1 pontos Pergunta 7 Leia o trecho a seguir “0 estudo da computabilidade tem como objetivo determinar a solucionabilidade de problemas, a partir da existéncia de algoritmos. Portanto, investiga os limites do que pode ser implementado em um computador, evitando a pesquisa de solugées inexistentes. A abordagem da compatibilidade é centrada nos problemas de decisao (do tipo sim/ndo)" MENEZES, P. B. Linguagens formais e autématos . Sao Paulo: Sagah, 2015. p. 103 A partir do apresentado, analise as assergdes a seguir e a relagdo proposta entre elas. |. O estudo da computabilidade usa com frequéncia o principio da redugao. hips Blackbeard comebappelecourse_engie_s0op-BBLEARN Contoller?COURSE,1D=_738194.1 arImpresso por iTrab, E-mail isracltrab19@gmail.com para uso pessoal e privado. Este material pode ser protegido por direitos autorais 2oinsi202' 18:47 Pergunta 8 Pergunta 9 hips blackboard.com/webappslae-couree_engine_soap-BBLEARN{Contoler?COURSE.| ‘endo pode ser reproduzido ou repassado para terceiros. 12/09/2022 20:53:20 (GRAOS2S LINGUAGENS FORMAIS E AUTOMATOS GR1064-212.9.-202120,00d-29780731.08, Pois: Il. Ele analisa e determina as solugdes de problemas a partir de algoritmos computacionais. A seguir, assinale a alternativa correta Resposta . _ Keionada: AS assergdes Ie Il so proposigdes verdadeiras, mas all nfo é uma |ustificativa corrta da | Resposta 9 . Correa AS assergies Ie Il sio proposigdes verdadeiras, mas a II nfo & uma justificativa correta da I Comentirio Resposta correta. A altermativa esté correta, a assergao | é uma proposig3o da resposta: Yerdadeira, ja quo, de fato, o estudo da computablidade 6 usado com frequéncia para o principio da reducao, pois investiga a solucionabilidade de um problema a partir de outro. A assergdo i ndo ¢ uma justficativa correta da |, uma vez que a justificativa de analisar solugdes de problemas nao se relaciona ao estudo da ‘computabilidade aplicada ao principio da redugao, logo, séo independentes, em 1 pontos A ciéncia da computagao trata da evolugao do conhecimento matematico desenvolvido ao longo da histéria humana, desde a Mesopotémia, passando pela Grécia, até chegar ao vale do silicio, e boa parte dessa evolugao ocorreu em 1936, com o formalismo desenvolvido por Alan Turing, que depois passou a ser a famosa maquina de Turing. Assinale a alternativa que indica a definigo de maquina de Turing Resposta Selecionada: @ Expressa a construgao dos autématos deterministicos. Resposta Correta: _@ Expressa a construgio de um procedimento computavel. Comentario Sua resposta esta incorreta. A alternativa est incorreta, pois, a partir da defini¢ao da resposta; de maquina de Turing como um formalism que expressa a construgso de um procedimento computavel, nao se infere que ela se trata de uma expresséo de Uma linguagem regular, da hierarquia de Chomsky, de um autémato deterministic ‘ou de uma arvore de derivagdo, tendo em vista que esses conceitos nao definem a maquina de Turing, Ela é formalmente definida por um formalismo que exoressa a ‘construgao de um pracedimento computavel, porque se trata da definigaio ‘elementar da teoria da computagao, referente a um sistema computacional 1 em 1 pontos Leia o trecho a seguir “Uma consequéncia importante do estudo das linguagens recursivamente enumeraveis é que, computacionalmente falando, existem mais problemas néo computaveis (para os quais nao existem maquinas de Turing capazes de processé-los) do que problemas computaveis (caso contrério)’ MENEZES, P. B. Linguagens formais e autématos . Sao Paulo: Sagah, 2015. p. 169. A partir do apresentado, analise as assergées a seguir e a relacdo proposta entre elas. 7381941 87Impresso por iTrab, E-mail isracltrab19@gmail.com para uso pessoal e privado. Este material pode ser protegido por dircitos autorais ‘endo pode ser reproduzido ou repassado para terceiros. 12/09/2022 20:53:20 2oinsi202' 18:47 (GRAOS2S LINGUAGENS FORMAIS E AUTOMATOS GR1064-212.9.- 202120,00d-29780731.08, |. Aclasse das linguagens recursivamente enumeraveis inclui algumas linguagens, para as quais é impossivel determinar mecanicamente se uma palavra nao pertence 4 linguagem. Pois: Il. Um problema computavel sempre sera um problema parcialmente solucionavel, todavia, ha varios cendrios, em que existem problemas nao computaveis, aos quais a maquina de Turing nao se aplica. A seguir, assinale a altemativa correta, Resposta Seleionada: __Aasserelo | uma propsio vrdadsa, ¢# assercdo I uma Resposta Correta: @ A assergdo I é uma proposigio verdadeira, e a assergao II é uma proposigao falsa. Comentitio Resposta correta. A altemativa esta correta, pois a assergao | é uma proposi¢ao da resposta: Yerdadeira, ja que, de fato, a classe das Inguagens recursivamente enumeravels inclui algumias linguagens para as quais é impossivel determinar, mecanicamente, se uma palavra nao pertence a linguagem. A assergao Il é uma proposigao falsa, Porque um problema computavel pode ser um problema parcialmente solucionavel, logo, nem sempre sera parcialmente solucionavel, uma vez que ‘existem problemas no computavels, aos quals a maquina de Turing nao se aplica. Lem 1 pontos Pergunta 10 diagrama de transigdo de estados, ou diagrama de maquina de estados, é uma representagao do estado ou situagdo em que um objeto pode se encontrar no decorrer da execugao de processos de um sistema. Observe a imagem a seguir, que apresenta uma ilustrago de um diagrama de transigao a fim de exemplificar 0 funcionamento da maquina de Turing: Figura — Exemplo de um diagrama de transigao Fonte: Adaptada de Passos (2018) #PraCegoVer : a imagem esta dividida em trés circulos, em que dois retornam para a direita e uma seta para esquerda, finalizando com uma seta reta para a esquerda, no a4, ¢ ela esta dividida com setas retas, para esquerda e para a direita, que fazem a ligagao desses circulos. PASSOS, Y. T. dos P. Maquinas de Turing, Slideshare , 2018. Disponivel em: hit nips blackboard.com/webappslae-couree_engine_soap-BBLEARN{Contoler?COURSE_1D=_738194_1 a7Impresso por iTrab, E-mail isracltrab19@gmail.com para uso pessoal e privado. Este material pode ser protegido por direitos autorais 2oinsi202' 18:47 ‘eno pode ser reproduzido ou repassado para terceiros. 12/09/2022 20:53:20 (GRAOS2S LINGUAGENS FORMAIS E AUTOMATOS GR1064-212. = 202120 008:29780731.06 ps://www.slideshare.net/yuripassos58/01-maquinas-de-turing, Acesso em: 27 jun. 2021 Considerando a imagem apresentada, ilustrada a fim de apresentar o diagrama de transigao, analise as afirmativas a seguir e assinale V para a(s) Verdadeira(s) eF para a(s) Falsa(s). I. (.) ©.g0 6 0 estado inicial ¢ M entra toda vez que retorna ao 0 restante mais & esquerda, I.) q1 indica que deve ir 4 direita enquanto for 0 ou y, troca 1 por ye anda a direita para encontrar novos ys. Ill ( ) © q2 volta para a direita até encontrar o y, andando a direita, enquanto for xouy. IV. (.) 043 Ié ys até encontrar um b a direita. Assinale a alternativa que apresenta a sequéncia correta jonada: @ VV. Resposta Correta: gw V,V.E,V. Resposta Sel Comentirio Resposta correta. A sequéncia esta correta, pois ao finalizar no q4 0 diagrama da resposta:_ indica que fol reconhecida a palavra, travando para indicar o reconhecimento Esse diagrama consiste na sucessiva aplicagao da fungdo programa, a partir do estado inicial e da cabega posicionada na célula mais & esquerda, até ocorrer uma parada, hips blackboard.com/webappslae-couree_engine_soap-BBLEARN{Contoler?COURSE.| 7381941 Ww