Attribute Grammars/Exercise 12: Operadores Lógicos - Revision history

Root: Redirected page to ist:Attribute Grammars/Exercise 12: Operadores Lógicos

2018-12-05T23:18:34Z

Redirected page to ist:Attribute Grammars/Exercise 12: Operadores Lógicos

← Older revision		Revision as of 23:18, 5 December 2018
Line 1:		Line 1:
	~~{{TOCright}}~~		#REDIRECT [[ist:Attribute Grammars/Exercise 12: Operadores Lógicos]]
	~~== Problema ==~~

	Pretende-se construir uma gramática atributiva (em C++) que avalie expressões lógicas. As expressões podem ser constituídas por literais '''p''' ou '''q''', ou por aplicações dos operadores lógicos: '''@''' (conjunção lógica – operador binário), '''/''' (disjunção lógica inclusiva – operador binário), '''#''' (negação lógica – operador unário). Assuma que os terminais '''p''' e '''q''' têm definido o atributo booleano '''val''' (respectivamente, igual ao valor C++ '''true''', para ''verdadeiro''; e '''false''', para ''falso''). O operador unário tem precedência superior aos binários e '''@''' tem precedência superior a '''/'''. É possível usar parênteses (curvos) para alterar as precedências.

	~~# Identifique a gramática atributiva correspondente ao problema. Descreva o significado e o tipo de cada atributo. Que tipo de gramática obteve?~~
	~~# Identifique a árvore de sintaxe decorada (apresentando o valor lógico da expressão no nó raiz da árvore) e o grafo de dependências para a expressão '''#(p@q)@(p/q)'''~~
	# 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. '''Não utilizar variáveis globais.'''

	~~== Gramática Atributiva ==~~

	'''disj''' representa uma disjunção; '''conj''' representa uma conjunção; '''uni''' representa expressões unárias; e '''elm''' representa elementos mais simples. O atributo booleano '''val''' representa o valor lógico associado a cada expressão.

	~~<text>~~
	~~disj → disj / conj { disj_0.val = disj_1.val \|\| conj.val; }~~
	~~disj → conj { disj.val = conj.val; }~~
	~~conj → conj @ uni { conj_0.val = conj_1.val && uni.val; }~~
	~~conj → uni { conj.val = uni.val; }~~
	~~uni → # elm { uni.val = !elm.val; }~~
	~~uni → elm { uni.val = elm.val; }~~
	~~elm → ( disj ) { elm.val = disj.val; }~~
	~~elm → p { elm.val = p.val; }~~
	~~elm → q { elm.val = q.val; }~~
	~~</text>~~

	~~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.~~

	~~== Árvore Sintáctica Decorada e Grafo de Dependências ==~~

	~~== Especificação YACC (versão directa a partir da gramática acima) ==~~

	~~<text>~~
	~~%union{ bool val; }~~
	~~%type<val> 'p' 'q' disj conj uni elm~~
	%%
	~~disj : disj '/' conj { $$ = $1 \|\| $3; };~~
	~~disj : conj { $$ = $1; };~~
	~~conj : conj '@' uni { $$ = $1 && $3; };~~
	~~conj : uni { $$ = $1; };~~
	~~uni : '#' elm { $$ = !$2; };~~
	~~uni : elm { $$ = $1; };~~
	~~elm : '(' disj ')' { $$ = $2; };~~
	~~elm : 'p' { $$ = $1; };~~
	~~elm : 'q' { $$ = $1; };~~
	%%
	~~</text>~~

	~~== Especificação YACC (versão "compacta") ==~~

	~~<text>~~
	~~%union{ bool val; }~~
	~~%type<val> 'p' 'q' expr~~
	~~%left '/'~~
	~~%left '@'~~
	~~%nonassoc '#'~~
	%%
	~~expr : expr '/' expr { $$ = $1 \|\| $3; }~~
	~~\| expr '@' expr { $$ = $1 && $3; }~~
	~~\| '~~#~~' expr { $$ = !$2; }~~
	~~\| '(' expr ')' { $$ = $2; }~~
	~~\| 'p' { $$ = $1; }~~
	~~\| 'q' { $$ = $1; }~~
	;
	%%
	~~</text>~~

	[[~~category~~:~~Compiladores]]~~
	~~[[category~~:~~Ensino~~]]

Root at 12:07, 3 July 2018

2018-07-03T12:07:45Z

← Older revision		Revision as of 12:07, 3 July 2018
Line 1:		Line 1:
			{{TOCright}}
	== Problema ==		== Problema ==

Root: /* Especificação YACC */

2015-06-22T18:38:21Z

Especificação YACC

@@ Line 27: / Line 27: @@
 == Árvore Sintáctica Decorada e Grafo de Dependências ==
-== Especificação YACC ==
+== Especificação YACC (versão directa a partir da gramática acima) ==
 [[category:Compiladores]]
 [[category:Ensino]]

Root: /* Gramática Atributiva */

2015-06-22T18:36:43Z

Gramática Atributiva

← Older revision		Revision as of 18:36, 22 June 2015
Line 8:		Line 8:

	== Gramática Atributiva ==		== Gramática Atributiva ==

			'''disj''' representa uma disjunção; '''conj''' representa uma conjunção; '''uni''' representa expressões unárias; e '''elm''' representa elementos mais simples. O atributo booleano '''val''' representa o valor lógico associado a cada expressão.

			<text>
			disj → disj / conj { disj_0.val = disj_1.val \|\| conj.val; }
			disj → conj { disj.val = conj.val; }
			conj → conj @ uni { conj_0.val = conj_1.val && uni.val; }
			conj → uni { conj.val = uni.val; }
			uni → # elm { uni.val = !elm.val; }
			uni → elm { uni.val = elm.val; }
			elm → ( disj ) { elm.val = disj.val; }
			elm → p { elm.val = p.val; }
			elm → q { elm.val = q.val; }
			</text>

			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.

	== Árvore Sintáctica Decorada e Grafo de Dependências ==		== Árvore Sintáctica Decorada e Grafo de Dependências ==

Root: /* Problema */

2015-06-22T18:03:47Z

Problema

← Older revision		Revision as of 18:03, 22 June 2015
Line 1:		Line 1:
	== Problema ==		== Problema ==

			Pretende-se construir uma gramática atributiva (em C++) que avalie expressões lógicas. As expressões podem ser constituídas por literais '''p''' ou '''q''', ou por aplicações dos operadores lógicos: '''@''' (conjunção lógica – operador binário), '''/''' (disjunção lógica inclusiva – operador binário), '''#''' (negação lógica – operador unário). Assuma que os terminais '''p''' e '''q''' têm definido o atributo booleano '''val''' (respectivamente, igual ao valor C++ '''true''', para ''verdadeiro''; e '''false''', para ''falso''). O operador unário tem precedência superior aos binários e '''@''' tem precedência superior a '''/'''. É possível usar parênteses (curvos) para alterar as precedências.

			# Identifique a gramática atributiva correspondente ao problema. Descreva o significado e o tipo de cada atributo. Que tipo de gramática obteve?
			# Identifique a árvore de sintaxe decorada (apresentando o valor lógico da expressão no nó raiz da árvore) e o grafo de dependências para a expressão '''#(p@q)@(p/q)'''
			# 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. '''Não utilizar variáveis globais.'''

	== Gramática Atributiva ==		== Gramática Atributiva ==

Root: Created page with "== Problema == == Gramática Atributiva == == Árvore Sintáctica Decorada e Grafo de Dependências == == Especificação YACC == category:Compiladores category:Ensi..."

2015-06-22T18:01:21Z

Created page with "== Problema == == Gramática Atributiva == == Árvore Sintáctica Decorada e Grafo de Dependências == == Especificação YACC == category:Compiladores category:Ensi..."

New page

== Problema ==

== Gramática Atributiva ==

== Árvore Sintáctica Decorada e Grafo de Dependências ==

== Especificação YACC ==

[[category:Compiladores]]
[[category:Ensino]]