Bottom-Up Parsing/Example 5: LALR(1) - Revision history

Root: /* Problem */

2024-05-02T09:52:10Z

Problem

← Older revision		Revision as of 09:52, 2 May 2024
Line 4:		Line 4:
	Consider the following grammar. '''C''' is the start symbold and '''{ w, x, y, z }''' is the set of terminal symbols.		Consider the following grammar. '''C''' is the start symbold and '''{ w, x, y, z }''' is the set of terminal symbols.

	~~::::::~~A → y \| ε		A → y \| ε
	~~::::::~~B → C x \| x A		B → C x \| x A
	~~::::::~~C → D x B \| A w		C → D x B \| A w
	~~::::::~~D → w \| z \| ε		D → w \| z \| ε

	# Construa a tabela de análise para um analisador sintáctico ascendente LALR(1) para esta gramática, indicando o conjunto de estados do analisador e os símbolos de antevisão. A gramática é SLR(1)? Justifique.		# Construa a tabela de análise para um analisador sintáctico ascendente LALR(1) para esta gramática, indicando o conjunto de estados do analisador e os símbolos de antevisão. A gramática é SLR(1)? Justifique.

Root at 14:27, 6 April 2015

2015-04-06T14:27:28Z

← Older revision		Revision as of 14:27, 6 April 2015
Line 20:		Line 20:
	* [[Media:co12-2012060603.pdf\|solution (draft)]]		* [[Media:co12-2012060603.pdf\|solution (draft)]]

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

Root: /* Solution */

2013-04-22T17:39:56Z

Solution

← Older revision		Revision as of 17:39, 22 April 2013
Line 16:		Line 16:
	== Solution ==		== Solution ==

	Small bug: state 9 has {$,x} as ~~lookaheads~~ (and not only {x}).		Small bug: state 9 has {$,x} as lookahead set (and not only {x}).

	* [[Media:co12-2012060603.pdf\|solution (draft)]]		* [[Media:co12-2012060603.pdf\|solution (draft)]]

Root: /* Solution */

2013-04-22T17:39:40Z

Solution

← Older revision		Revision as of 17:39, 22 April 2013
Line 15:		Line 15:

	== Solution ==		== Solution ==

			Small bug: state 9 has {$,x} as lookaheads (and not only {x}).

	* [[Media:co12-2012060603.pdf\|solution (draft)]]		* [[Media:co12-2012060603.pdf\|solution (draft)]]

Root at 18:01, 21 June 2012

2012-06-21T18:01:12Z

← Older revision		Revision as of 18:01, 21 June 2012
Line 15:		Line 15:

	== Solution ==		== Solution ==

			* [[Media:co12-2012060603.pdf\|solution (draft)]]

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

Root: /* Problem */

2012-06-05T12:35:52Z

Problem

← Older revision		Revision as of 12:35, 5 June 2012
Line 1:		Line 1:
	{{TOCright}}		{{TOCright}}
	= Problem =		== Problem ==

	Consider the following grammar. '''C''' is the start symbold and '''{ w, x, y, z }''' is the set of terminal symbols.		Consider the following grammar. '''C''' is the start symbold and '''{ w, x, y, z }''' is the set of terminal symbols.

Root: /* Problem */

2012-06-05T12:35:38Z

Problem

← Older revision		Revision as of 12:35, 5 June 2012
Line 2:		Line 2:
	= Problem =		= Problem =

	Consider the following grammar. C is the start symbold and { w, x, y, z } is the set of terminal symbols.		Consider the following grammar. '''C''' is the start symbold and '''{ w, x, y, z }''' is the set of terminal symbols.

	A → y \| ε		::::::A → y \| ε
	B → C x \| x A		::::::B → C x \| x A
	C → D x B \| A w		::::::C → D x B \| A w
	D → w \| z \| ε		::::::D → w \| z \| ε

	# Construa a tabela de análise para um analisador sintáctico ascendente LALR(1) para esta gramática, indicando o conjunto de estados do analisador e os símbolos de antevisão. A gramática é SLR(1)? Justifique.		# Construa a tabela de análise para um analisador sintáctico ascendente LALR(1) para esta gramática, indicando o conjunto de estados do analisador e os símbolos de antevisão. A gramática é SLR(1)? Justifique.
	# Tal como apresentada, a gramática pode ser processada por um analisador LL(1)? Justifique.		# Tal como apresentada, a gramática pode ser processada por um analisador LL(1)? Justifique.
	# Compacte a tabela de análise (de 1.), eliminando reduções unitárias e quase unitárias, bem como propagando reduções que permitam compactar a tabela.		# Compacte a tabela de análise (de 1.), eliminando reduções unitárias e quase unitárias, bem como propagando reduções que permitam compactar a tabela.
	# Apresente a tabela com o conteúdo da pilha do analisador, a entrada e a acção realizada em cada passo da análise, para a sequência de entrada z x x y. Em caso de conflitos, assuma o comportamento da ferramenta YACC.		# Apresente a tabela com o conteúdo da pilha do analisador, a entrada e a acção realizada em cada passo da análise, para a sequência de entrada '''z x x y'''. Em caso de conflitos, assuma o comportamento da ferramenta YACC.

	== Solution ==		== Solution ==

Root: Created page with "{{TOCright}} = Problem = Consider the following grammar. C is the start symbold and { w, x, y, z } is the set of terminal symbols. A → y | ε B → C x | x A C → D x B |..."

2012-06-05T12:34:31Z

Created page with "{{TOCright}} = Problem = Consider the following grammar. C is the start symbold and { w, x, y, z } is the set of terminal symbols. A → y | ε B → C x | x A C → D x B |..."

New page

{{TOCright}}
= Problem =

Consider the following grammar. C is the start symbold and { w, x, y, z } is the set of terminal symbols.

A → y | ε
B → C x | x A
C → D x B | A w
D → w | z | ε

# Construa a tabela de análise para um analisador sintáctico ascendente LALR(1) para esta gramática, indicando o conjunto de estados do analisador e os símbolos de antevisão. A gramática é SLR(1)? Justifique.
# Tal como apresentada, a gramática pode ser processada por um analisador LL(1)? Justifique.
# Compacte a tabela de análise (de 1.), eliminando reduções unitárias e quase unitárias, bem como propagando reduções que permitam compactar a tabela.
# Apresente a tabela com o conteúdo da pilha do analisador, a entrada e a acção realizada em cada passo da análise, para a sequência de entrada z x x y. Em caso de conflitos, assuma o comportamento da ferramenta YACC.

== Solution ==

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