PERGUNTA 1 ‘Ao longo de nosso estudo, veriticamos que a computacao de atnbutos varia muito. Quando aparece explicitamente em um compilador, pode ccorrer em qualquer ponto da compilaco: embora associemos @ ‘computago de atributos mais fortemente a andlise semantica, tanto a varredura como a analise sintatica podem precisar de informacdes dos atributos, € algumas das andlises semanticas podem ser requericas durante a andlise sintatica. Com base nas informacées apresentadas, assinale a altemativa correta. 5 2.0 compilader ndo & rasponsavel por gear cScigos para computer sous valores durante a execugdo de dados. ) b. A alocaco de uma varivel somante pode ser estética © O compilader é responsavel por gerar imagens para computar seus valores durante a execucao de dados. © o.Em uma linguager com tipos estaticas, como C ou Pascal, 0 tipo de dado de uma varlavel ou expresso se ‘tora um atributo insignificante durante a compllacao. @ e.Aquentdade de digits sigiicaivos em um nimero é um etributo frequentemente nc tatado de forma explicte durante a complacio PERGUNTA 2 Um atributo € qualquer propriedade de uma construcao de linguagem de programacao. Os atributos podem variar imensamente em contatido e complexidade, particularmente no momento em que, durante a traducao/execucdo, podem ser determinados. Assinale a alternativa que apresente um exemplo tipico de atributos. 2. Nao variével. @ b. Quantidade de digites significatives em um numero «, Variaval © ¢. Tempe de amarracdo.PERGUNTA 3 Linguagens de programaco sé baseadas em paradigmas, que so modelos apicados & forma de desenvolvimento de um cédigo. Como exemplo, temos o paradigma imperativo, que objetiva explicar ‘como algo deve ser feito, além de usar conceitos de subprogramas, ou seja, procedurais. As linguagens ‘sob 0 paradigma imperative tm mutta dificuldade associada 20 context Com relacao as caracteristicas da linguagem que dificultam o contexto, analise as afrmativas a sequir & assinale V para a(s) verdadeira(s) e F para a(s) falsa(s) |. (.) Um dos problemas é que a linguagem imperativa faz uso do enderecamento de memoria para armazenar e ler valores guardados por variaveis. Il (.) Toda varidvel deve ser declarada inicialmente antes de ser usada para averiguacao correta dos tipos de dados. Ill. (.) Se faz necessario especificar o escopo da variavel do programa quando a mesma for usada dentro de um subprograma IV. (_) Nas linguagem ADA, os nomes de subprograma devem ser fechados com o mesmo nome de abertura, Assinale a alternativa que apresenta a sequéncia CORRETA. OaVvir VF. BV, V, VV. ORV YY. @aVVAV. eR RAV.PERGUNTA 4 Atabela de simbolos em um compilador é uma estrutura de dades tipica de dicionano. A eficiéncia das tr8s operagdes basicas — inserir, verficar @ remover — varia de acordo com a organizacao da estrutura de dados, Considerando a informac3o apresentada, analise as afirmativas a seguir e assinale V para a(s) verdadeira(s) e F para a(s) falsa(s). |. ()Atabela de hashing, frequentemente, a melhor opco para a implementacdo da tabela de simbolos, pois permite que todas as trés operacées sejam efetuadas em tempo quase constante e € a mais utllizada na pratica. II. (_) Implementagées tipicas de estruturas de dicionérios sdio listas lineares, diversas estruturas de arvores de busca (érvores de busca binarias, arvores AVL € arvores B) € tabelas de hashing. IIL. (.) As principais operacdes na tabela de simbolos s&o “inserir, ‘permanecer’ e ‘remover’ IV. [_)As listas linzares so uma boa estrutura de dados basica para implementacoes faceis e diretas das tr8s oparacées basicas As: jale a alternativa que apresenta a sequéncia CORRETA. a FREY. bY. V.V. CRY. @AV.V,FV. eVRVE,PERGUNTAS, A.anilise léxica e a andlise sintatica, as duas primeiras fases do processo de compilaco, fazem uso da tabela de simbolos. Essa tabela é o repositério de todas as informagSes dentro do compilador, ¢, por essa razo, € 0 ponto central de comunicacdo entre as partes do compilador, como a fase lexica e a sintatica Com base no apresentado, avalie as afirmacées a seguir e relacione adequadamente os termos aos seus conceaitos. 1. Escopo de variaveis. 2. Linguagem estitica 3 Interface |. Linguagens como C e estruturadas em blocos permitem que variaveis com mesmo nome possam ter valores distintos, Il. Um exemplo desse conceito € a linguagem Cobol, que nao se estrutura em blocos e utiliza uma tabela de simbolos Unica ea lista linear de registros. Ill, FungSes sao usadas para gerar novos contextos na tabela de simbolos, por exemplo, na definicao do tamanho da tabela. Assinale a alternativa que correlaciona adequadamente os dois grupos de informac&o. Oat=, 2-3-1 Ob1-t2- 3mm Oe 1-2-1; 3-1 @ 41-1 2-1, 3=il Oet-h2-I 3-1PERGUNTA6 uso de uma expressao if-then-else estende os tipos de expressées titeis que padem aparecer em uma ‘equaciio de atributos. A colecdo de expresses permitidas em uma equacdo de atributos é chamada de metalinguagem para a gramética de alvibutos. Em geral, queremos uma metalinguagem cujo significado seja suficientemente claro, a fim de evitar 0 surgimento de confusao a respeito de sua prépria semAntica. Com relacdo as caracteristicas que compéem uma expresso na metalinguagem, avalie as afirmativas a seguir |. Uma caracteristica adicional util para a especificacdo de equacGes de alributos € 0 acréscimo do uso de funcées na metaiinguagem ll. E esperada uma metalinguagem proxima de uma linguagem de programacao existente. Ill. Equagdes de atributos tém que ser um cédigo executavel em um analisador seméntico, IV. E necessario que o valor de um atributo seja especificado para todos os simbolos gramaticais. Esta correto 0 que se afirma em: 5 a lel, apenas @ b.L ell, apenas. Lillo 1V, apenas. 2 6.1, eV, apenas. 2 e.ll, apenas.PERGUNTA 7 ‘forma como os dados so representados por um compilador, a forma como uma tabela de simbolos mantém a8 informacies sobre tipos € as regras utlizadas por um verificador de tipos para inferéncia, tudo isso depende das expressdes de tipos disp so dessas expressdes. jis em uma linguagem e das regras da linguagem que governam 0 Com relacao ao apresentado, analise as assercoes a seguir € as re'acdes propostas entre elas. |. Informagoes sobre tips, explicitas ou implicitas, contidas em declaracdes sao mantidas na tabela de simbolos e recuperadas pelo verificador de tipos sem que 05 nomes associados sejam referenciados. PORQUE II, Em seguida, novos tipos so inferidos, a partir dos ja existentes, e associados aos nés apropriados na Arvore sintatica. Analisando as assergées anteriores, conelui-se que: © 2. 25 duas essercdes S20 verdadeiras, e a segunda justfica a primeira ba primeira assercio ¢ falsa, ea segunda é verdadeira, 8 primeira assercio € verdadeira, € a segunda é false, das duas essercies so falsas. as duas assercies sfo verdadeiras, e a sagunda nao justifica a primeira