The YACC Parser Generator - Revision history

Root: Redirected page to ist:The YACC Parser Generator

2018-12-05T23:45:19Z

Redirected page to ist:The YACC Parser Generator

← Older revision		Revision as of 23:45, 5 December 2018
Line 1:		Line 1:
	~~{{NAVCompiladores}}~~		#REDIRECT [[ist:The YACC Parser Generator]]
	~~{{TOCright}}~~

	Yacc (yet another compiler compiler) is a grammar parser and parser generator. That is, it is a program that reads a grammar specification and generates code that is able to organize input tokens in a syntactic tree in accordance with the grammar. In addition, the grammar specification has semantic content (in the form of actions associated with grammar rules) that are also organized to be executed when tree nodes are built ("reduced" is the actual term).

	The parser generated by Yacc is an LALR(1) parser with a few pragmatic extensions to deal with non-LALR(1) grammars and other problems having to do with the fact that grammars sometimes are wrong and Yacc must signal those problems in a useful way, so that the grammar creator can improve it. Examples of these extensions are error handling (e.g. in case of conflicts). Theoretically, in the presence of conflicts, the parser could be said not to exist, but Yacc solves the problem by coding default behavior when needed. These behaviors may be what is needed, but, in general, it is an error using grammars that give rise to conflicts in the parser. These matters will be discussed below.

	After a successful run, Yacc will produce, at least, the yyparse() function, which runs the parser and produces the syntax-driven evaluation of the semantic actions in the rules. This function, when the appropriate actions are coded, produces the syntactic tree as a data structure (a tree, which may not come as much of a surprise).

	~~== Basic Concepts ==~~

	* Definitions
	* Rules, semantic actions
	* Code

	~~== Error Recovery ==~~

	~~== Conflicts ==~~

	~~== How to debug ==~~

	~~Do:~~

	~~export YYDEBUG=1~~

	~~== Examples ==~~

	* [[~~The YACC Parser Generator/Example~~: ~~Calculator with Variables\|Calculator with Variables]]~~

	~~== Exercises ==~~

	* [[The YACC Parser Generator/Exercise 1\|Exercise 1]]
	* [[The YACC Parser Generator/Exercise 2\|Exercise 2]]
	* [[The YACC Parser Generator/Exercise 3\|Exercise 3]]
	* [[The YACC Parser Generator/Exercise 4\|Exercise 4]]
	* [[The YACC Parser Generator/Exercise 5\|Exercise 5]]
	* [[The YACC Parser Generator~~/Exercise 6\|Exercise 6]] -- maximum interval -- Test 2 2016/06/17~~
	* [[The YACC Parser Generator/Exercise 7\|Exercise 7]] -- minimum interval -- Test 2 2016/06/17

	~~== See Also ==~~

	* [[Attribute Grammars]]
	* [[Bottom-Up Parsing]]

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

Root: /* How ti debug */

2018-05-11T14:16:47Z

How ti debug

← Older revision		Revision as of 14:16, 11 May 2018
Line 18:		Line 18:
	== Conflicts ==		== Conflicts ==

	== How ti debug ==		== How to debug ==

	Do:		Do:

Root at 18:07, 13 April 2018

2018-04-13T18:07:44Z

← Older revision		Revision as of 18:07, 13 April 2018
Line 17:		Line 17:

	== Conflicts ==		== Conflicts ==

			== How ti debug ==

			Do:

			export YYDEBUG=1

	== Examples ==		== Examples ==

Root: /* Exercises */

2016-06-21T18:39:49Z

Exercises

← Older revision		Revision as of 18:39, 21 June 2016
Line 29:		Line 29:
	* [[The YACC Parser Generator/Exercise 4\|Exercise 4]]		* [[The YACC Parser Generator/Exercise 4\|Exercise 4]]
	* [[The YACC Parser Generator/Exercise 5\|Exercise 5]]		* [[The YACC Parser Generator/Exercise 5\|Exercise 5]]
			* [[The YACC Parser Generator/Exercise 6\|Exercise 6]] -- maximum interval -- Test 2 2016/06/17
			* [[The YACC Parser Generator/Exercise 7\|Exercise 7]] -- minimum interval -- Test 2 2016/06/17

	== See Also ==		== See Also ==

Root: /* Exercises */

2016-04-14T18:30:22Z

Exercises

← Older revision		Revision as of 18:30, 14 April 2016
Line 28:		Line 28:
	* [[The YACC Parser Generator/Exercise 3\|Exercise 3]]		* [[The YACC Parser Generator/Exercise 3\|Exercise 3]]
	* [[The YACC Parser Generator/Exercise 4\|Exercise 4]]		* [[The YACC Parser Generator/Exercise 4\|Exercise 4]]
			* [[The YACC Parser Generator/Exercise 5\|Exercise 5]]

	== See Also ==		== See Also ==

Root at 14:35, 6 April 2015

2015-04-06T14:35:14Z

← Older revision		Revision as of 14:35, 6 April 2015
Line 34:		Line 34:
	* [[Bottom-Up Parsing]]		* [[Bottom-Up Parsing]]

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

Root: /* Exercises */

2015-02-09T15:49:37Z

Exercises

← Older revision		Revision as of 15:49, 9 February 2015
Line 25:		Line 25:

	* [[The YACC Parser Generator/Exercise 1\|Exercise 1]]		* [[The YACC Parser Generator/Exercise 1\|Exercise 1]]
			* [[The YACC Parser Generator/Exercise 2\|Exercise 2]]
			* [[The YACC Parser Generator/Exercise 3\|Exercise 3]]
			* [[The YACC Parser Generator/Exercise 4\|Exercise 4]]

	== See Also ==		== See Also ==

Root at 22:03, 2 April 2012

2012-04-02T22:03:55Z

← Older revision		Revision as of 22:03, 2 April 2012
Line 1:		Line 1:
	{{NAVCompiladores}}		{{NAVCompiladores}}
	{{TOCright}}		{{TOCright}}

			Yacc (yet another compiler compiler) is a grammar parser and parser generator. That is, it is a program that reads a grammar specification and generates code that is able to organize input tokens in a syntactic tree in accordance with the grammar. In addition, the grammar specification has semantic content (in the form of actions associated with grammar rules) that are also organized to be executed when tree nodes are built ("reduced" is the actual term).

			The parser generated by Yacc is an LALR(1) parser with a few pragmatic extensions to deal with non-LALR(1) grammars and other problems having to do with the fact that grammars sometimes are wrong and Yacc must signal those problems in a useful way, so that the grammar creator can improve it. Examples of these extensions are error handling (e.g. in case of conflicts). Theoretically, in the presence of conflicts, the parser could be said not to exist, but Yacc solves the problem by coding default behavior when needed. These behaviors may be what is needed, but, in general, it is an error using grammars that give rise to conflicts in the parser. These matters will be discussed below.

			After a successful run, Yacc will produce, at least, the yyparse() function, which runs the parser and produces the syntax-driven evaluation of the semantic actions in the rules. This function, when the appropriate actions are coded, produces the syntactic tree as a data structure (a tree, which may not come as much of a surprise).

	== Basic Concepts ==		== Basic Concepts ==

Root at 15:02, 16 May 2011

2011-05-16T15:02:23Z

← Older revision		Revision as of 15:02, 16 May 2011
Line 14:		Line 14:

	* [[The YACC Parser Generator/Example: Calculator with Variables\|Calculator with Variables]]		* [[The YACC Parser Generator/Example: Calculator with Variables\|Calculator with Variables]]

			== Exercises ==

			* [[The YACC Parser Generator/Exercise 1\|Exercise 1]]

	== See Also ==		== See Also ==

Root at 15:16, 27 June 2010

2010-06-27T15:16:50Z

← Older revision		Revision as of 15:16, 27 June 2010
Line 13:		Line 13:
	== Examples ==		== Examples ==

	* [[YACC Example: Calculator with Variables\|Calculator with Variables]]		* [[The YACC Parser Generator/Example: Calculator with Variables\|Calculator with Variables]]

	== See Also ==		== See Also ==