https://robots.hlt.inesc-id.pt/w/pt/index.php?action=history&feed=atom&title=Attribute_Grammars%2FExercise_13%3A_Operadores_L%C3%B3gicos 2026-05-23T08:56:04Z Revision history for this page on the wiki MediaWiki 1.43.3 https://robots.hlt.inesc-id.pt/w/pt/index.php?title=Attribute_Grammars/Exercise_13:_Operadores_L%C3%B3gicos&diff=9988&oldid=prev 2018-07-03T12:15:43Z

<p>Created page with &quot;{{TOCright}} == Problema == Uma máquina reconhece os símbolos de &#039;&#039;&#039;0&#039;&#039;&#039; a &#039;&#039;&#039;9&#039;&#039;&#039;, &#039;&#039;&#039;~&#039;&#039;&#039; e &#039;&#039;&#039;!&#039;&#039;&#039;. Os símbolos de &#039;&#039;&#039;0&#039;&#039;&#039; a &#039;&#039;&#039;9&#039;&#039;&#039; são organizados em sequências pos...&quot;</p> <p><b>New page</b></p><div>{{TOCright}}<br /> == Problema ==<br /> <br /> Uma máquina reconhece os símbolos de &#039;&#039;&#039;0&#039;&#039;&#039; a &#039;&#039;&#039;9&#039;&#039;&#039;, &#039;&#039;&#039;~&#039;&#039;&#039; e &#039;&#039;&#039;!&#039;&#039;&#039;. Os símbolos de &#039;&#039;&#039;0&#039;&#039;&#039; a &#039;&#039;&#039;9&#039;&#039;&#039; são organizados em sequências possivelmente delimitadas por &#039;&#039;&#039;!&#039;&#039;&#039;. Se a sequência numérica não estiver delimitada, então o seu valor é simplesmente o da soma dos seus dígitos (em base 10). Sequências delimitadas indicam o número correspondente aos dígitos em base 10. O operador &#039;&#039;&#039;~&#039;&#039;&#039; calcula o valor do máximo dos seus argumentos (este operador é associativo à esquerda).<br /> <br /> Exemplo: à sequência &#039;&#039;&#039;1934~!26!~12&#039;&#039;&#039; corresponde ao valor max(17, 26, 3) = 26.<br /> <br /> # Identifique a gramática atributiva correspondente ao problema, descrevendo o significado de todos os atributos, assim como os respectivos tipos. Que tipo de gramática obteve?<br /> # Identifique a árvore de sintaxe decorada e o grafo de dependências para a frase &#039;&#039;&#039;123~!123!&#039;&#039;&#039; (valor 123).<br /> # Escreva uma especificação YACC que implemente a gramática descrita em 1. Codifique toda a especificação (incluindo as zonas de declarações e de regras) e todas as funções auxiliares. &#039;&#039;&#039;Não utilizar variáveis globais.&#039;&#039;&#039;<br /> <br /> == Gramática Atributiva ==<br /> <br /> &#039;&#039;&#039;E&#039;&#039;&#039; representa uma expressão; &#039;&#039;&#039;N&#039;&#039;&#039; representa um número; &#039;&#039;&#039;S&#039;&#039;&#039; representa uma sequência de dígitos não delimitada; e &#039;&#039;&#039;D&#039;&#039;&#039; representa uma sequência de dígitos delimitada. O atributo booleano &#039;&#039;&#039;v&#039;&#039;&#039; representa o valor associado a cada símbolo.<br /> <br /> [[image:attrgram13.jpg]]<br /> <br /> Como se pode ver pelas acções semânticas associadas à gramática, todos os atributos são sintetizados, pelo que a gramática é do tipo S.<br /> <br /> == Árvore Sintáctica Decorada e Grafo de Dependências ==<br /> <br /> [[image:attrgramtree13.jpg]]<br /> <br /> == Especificação YACC (versão directa a partir da gramática acima) ==<br /> <br /> Considerando que a gramática acima é do tipo S, a realização em YACC é trivial e deixa-se como exercício para o leitor.<br /> <br /> [[category:Compiladores]]<br /> [[category:Ensino]]</div>

Root