Attribute Grammars/Exercise 2: Numbers - Revision history

Root: /* Attribute grammar using only synthesized attributes */

2024-05-02T09:57:49Z

Attribute grammar using only synthesized attributes

← Older revision		Revision as of 09:57, 2 May 2024
Line 107:		Line 107:

	<source lang="text">		<source lang="text">
	s -> symbol_1 # symbol_2 { s.val = symbol_1.val + symbol_2.val }		s → symbol_1 # symbol_2 { s.val = symbol_1.val + symbol_2.val }
	symbol_1 -> symbol_2 dig { symbol_1.val = symbol_2.val * 5 + dig.val }		symbol_1 → symbol_2 dig { symbol_1.val = symbol_2.val * 5 + dig.val }
	symbol -> dig { symbol.val = dig.val }		symbol → dig { symbol.val = dig.val }
	</source>		</source>

2024-05-02T09:57:15Z

← Older revision		Revision as of 09:57, 2 May 2024
Line 3:		Line 3:
	<tr>		<tr>
	<td align="right">s</td>		<td align="right">s</td>
	<td align="left">~~->~~</td>		<td align="left">→</td>
	<td align="left"><em>symbol</em> <sub>1</sub> <strong>#</strong> <em>symbol</em> <sub>2</sub></td>		<td align="left"><em>symbol</em> <sub>1</sub> <strong>#</strong> <em>symbol</em> <sub>2</sub></td>
	<td align="left">{</td>		<td align="left">{</td>
Line 38:		Line 38:
	<tr>		<tr>
	<td align="right"><em>symbol</em> <sub>1</sub></td>		<td align="right"><em>symbol</em> <sub>1</sub></td>
	<td align="left">~~->~~</td>		<td align="left">→</td>
	<td align="left"><em>symbol</em> <sub>2</sub> <strong>dig</strong></td>		<td align="left"><em>symbol</em> <sub>2</sub> <strong>dig</strong></td>
	<td align="left">{</td>		<td align="left">{</td>
Line 66:		Line 66:
	<tr>		<tr>
	<td align="right"><em>symbol</em></td>		<td align="right"><em>symbol</em></td>
	<td align="left">~~->~~</td>		<td align="left">→</td>
	<td align="left"><strong>dig</strong></td>		<td align="left"><strong>dig</strong></td>
	<td align="left">{</td>		<td align="left">{</td>

2018-12-05T19:09:18Z

Attribute grammar using only synthesized attributes

← Older revision		Revision as of 19:09, 5 December 2018
Line 106:		Line 106:
	The new grammar is trivial to write (_1 and _2 are subscripts to differentiate instances of "symbol"):		The new grammar is trivial to write (_1 and _2 are subscripts to differentiate instances of "symbol"):

	<text>		<source lang="text">
	s -> symbol_1 # symbol_2 { s.val = symbol_1.val + symbol_2.val }		s -> symbol_1 # symbol_2 { s.val = symbol_1.val + symbol_2.val }
	symbol_1 -> symbol_2 dig { symbol_1.val = symbol_2.val * 5 + dig.val }		symbol_1 -> symbol_2 dig { symbol_1.val = symbol_2.val * 5 + dig.val }
	symbol -> dig { symbol.val = dig.val }		symbol -> dig { symbol.val = dig.val }
	</~~text~~>		</source>

	"val" is a synthesized attribute (propagation in red).		"val" is a synthesized attribute (propagation in red).

2016-03-30T16:27:04Z

Attribute grammar using only synthesized attributes

← Older revision		Revision as of 16:27, 30 March 2016
Line 114:		Line 114:
	"val" is a synthesized attribute (propagation in red).		"val" is a synthesized attribute (propagation in red).

	[[Image:attrgrams-ex02-semantic-tree-2.png\|~~500px~~\|Temporary handwritten solution]]		[[Image:attrgrams-ex02-semantic-tree-2.png\|600px\|Temporary handwritten solution]]

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

2016-03-30T16:26:51Z

Semantic tree and dependency graph

← Older revision		Revision as of 16:26, 30 March 2016
Line 98:		Line 98:
	"x" is an inherited attribute (propagation in blue); "val" is a synthesized attribute (propagation in red).		"x" is an inherited attribute (propagation in blue); "val" is a synthesized attribute (propagation in red).

	[[Image:attrgrams-ex02-semantic-tree-1.jpg\|~~500px~~\|Temporary handwritten solution.]]		[[Image:attrgrams-ex02-semantic-tree-1.jpg\|600px\|Temporary handwritten solution.]]

	=== Attribute grammar using only synthesized attributes ===		=== Attribute grammar using only synthesized attributes ===

2015-04-06T14:25:23Z

← Older revision		Revision as of 14:25, 6 April 2015
Line 116:		Line 116:
	[[Image:attrgrams-ex02-semantic-tree-2.png\|500px\|Temporary handwritten solution]]		[[Image:attrgrams-ex02-semantic-tree-2.png\|500px\|Temporary handwritten solution]]

	[[category:~~Compilers~~]]		[[category:Compiladores]]
	[[category:~~Teaching~~]]		[[category:Ensino]]

2015-03-26T14:41:35Z

Semantic tree and dependency graph

← Older revision		Revision as of 14:41, 26 March 2015
Line 98:		Line 98:
	"x" is an inherited attribute (propagation in blue); "val" is a synthesized attribute (propagation in red).		"x" is an inherited attribute (propagation in blue); "val" is a synthesized attribute (propagation in red).

	[[Image:attrgrams-ex02-semantic-tree-1.~~png~~\|500px\|Temporary handwritten solution.]]		[[Image:attrgrams-ex02-semantic-tree-1.jpg\|500px\|Temporary handwritten solution.]]

	=== Attribute grammar using only synthesized attributes ===		=== Attribute grammar using only synthesized attributes ===

2012-03-25T23:43:21Z

Attribute grammar using only synthesized attributes

← Older revision		Revision as of 23:43, 25 March 2012
Line 104:		Line 104:
	We start by noting that the semantic computed by the previous grammar corresponds to base 5-like numbering (although the digits do not belong to base 5).		We start by noting that the semantic computed by the previous grammar corresponds to base 5-like numbering (although the digits do not belong to base 5).

	The new grammar is trivial to write:		The new grammar is trivial to write (_1 and _2 are subscripts to differentiate instances of "symbol"):

	<text>		<text>

2012-03-24T18:37:29Z

Attribute grammar using only synthesized attributes

← Older revision		Revision as of 18:37, 24 March 2012
Line 114:		Line 114:
	"val" is a synthesized attribute (propagation in red).		"val" is a synthesized attribute (propagation in red).

	~~Temporary handwritten solution.~~		[[Image:attrgrams-ex02-semantic-tree-2.png\|500px\|Temporary handwritten solution]]

	[[Image:attrgrams-ex02-semantic-tree-2.png]]

	[[category:Compilers]]		[[category:Compilers]]
	[[category:Teaching]]		[[category:Teaching]]

2012-03-24T18:27:17Z

Semantic tree and dependency graph

← Older revision		Revision as of 18:27, 24 March 2012
Line 98:		Line 98:
	"x" is an inherited attribute (propagation in blue); "val" is a synthesized attribute (propagation in red).		"x" is an inherited attribute (propagation in blue); "val" is a synthesized attribute (propagation in red).

	[[Image:attrgrams-ex02-semantic-tree-1.png\|Temporary handwritten solution.]]		[[Image:attrgrams-ex02-semantic-tree-1.png\|500px\|Temporary handwritten solution.]]

	=== Attribute grammar using only synthesized attributes ===		=== Attribute grammar using only synthesized attributes ===