Jump to content

Yacc

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 81.221.243.218 (talk) at 22:02, 9 October 2018 (→Description). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Yacc (Yet Another Compiler-Compiler) is a computer program for the Unix operating system developed by Stephen C. Johnson. It is a Look Ahead Left-to-Right (LALR) parser generator, generating a parser, the part of a compiler that tries to make syntactic sense of the source code, specifically a LALR parser, based on an analytic grammar written in a notation similar to Backus–Naur Form (BNF).[1] Yacc is supplied as a standard utility on BSD and AT&T Unix.[2] GNU-based Linux distributions include Bison, a forward-compatible Yacc replacement.[3]

History

In the early 1970s, Stephen C. Johnson, a computer scientist at Bell Labs / AT&T, developed Yacc because he wanted to insert an exclusive or operator into a B language compiler. He was directed by Bell Labs colleague Al Aho to Donald Knuth's work on LR parsing, which served as the basis for Yacc.[4] In a 2008 interview, Johnson reflected that "the contribution Yacc made to the spread of Unix and C is what I'm proudest of".[5] Yacc was originally written in the B programming language, but was soon rewritten in C.[6] It appeared as part of Version 3 Unix,[7] and a full description of Yacc was published in 1975.[8]

Description

The input to Yacc is a grammar with snippets of C code (called "actions") attached to its rules. Its output is a shift-reduce parser in C that executes the C snippets associated with each rule as soon as the rule is recognized. Typical actions involve the construction of parse trees. Using an example from Johnson, if the call node(label, left, right) constructs a binary parse tree node with the specified label and children, then the rule 

expr : expr '+' expr  { $$ = node('+', $1, $3); }

recognizes summation expressions and constructs nodes for them. The special identifiers $$, $1 and $3 refer to items on the parser's stack.[8]

Yacc produces only a parser (phrase analyzer); for full syntactic analysis this requires an external lexical analyzer to perform the first tokenization stage (word analysis), which is then followed by the parsing stage proper.[8] Lexical analyzer generators, such as Lex or Flex are widely available. The IEEE POSIX P1003.2 standard defines the functionality and requirements for both Lex and Yacc.[9]

Some versions of AT&T Yacc have become open source. For example, source code is available with the standard distributions of Plan 9.[10]

Impact

Yacc and similar programs (largely reimplementations) have been very popular. Yacc itself used to be available as the default parser generator on most Unix systems, though it has since been supplanted by more recent, largely compatible, programs such as Berkeley Yacc, GNU bison, MKS Yacc, and Abraxas PCYACC. An updated version of the original AT&T version is included as part of Sun's OpenSolaris project. Each offers slight improvements and additional features over the original Yacc, but the concept and syntax have remained the same.[citation needed]

Yacc has also been rewritten for other languages, including OCaml,[11] Ratfor, ML, Ada, Pascal, Java, Python, Ruby, Go,[12], Common Lisp[13] and Erlang.[14]

  • Berkeley Yacc: The Berkeley implementation of Yacc quickly became more popular than AT&T Yacc itself because of its performance and lack of reuse restrictions.
  • LALR parser: The underlying parsing algorithm in Yacc-generated parsers.
  • Bison: The GNU version of Yacc.
  • Lex (and Flex lexical analyser), a token parser commonly used in conjunction with Yacc (and Bison).
  • BNF, is a metasyntax used to express context-free grammars: that is, a formal way to describe context-free languages.
  • PLY (Python Lex-Yacc) is an alternative implementation of Lex and Yacc in python.

References

  1. ^ "The A-Z of Programming Languages: YACC". Computerworld. Retrieved 30 November 2012.
  2. ^ Levine, John (1992). Lex & yacc. Sebastopol, CA: O'Reilly & Associates. p. xx. ISBN 1-56592-000-7.
  3. ^ Levine, John (2009). Flex & bison. Sebastopol, Calif: O'Reilly Media. p. xv. ISBN 978-0-596-15597-1.
  4. ^ Morris, Richard (1 October 2009). "Stephen Curtis Johnson: Geek of the Week". Red Gate Software. Retrieved 19 January 2018.
  5. ^ Hamilton, Naomi (10 July 2008). "Yacc, Unix, and Advice from Bell Labs Alumni Stephen Johnson". Computerworld. Retrieved 19 January 2018.
  6. ^ Ritchie, Dennis M. (April 1993). The Development of the C Language (PDF). Association for Computing Machinery, Inc.
  7. ^ McIlroy, M. D. (1987). A Research Unix reader: annotated excerpts from the Programmer's Manual, 1971–1986 (PDF) (Technical report). CSTR. Bell Labs. 139.
  8. ^ a b c Johnson, Stephen C. (1975). "Yacc: Yet Another Compiler-Compiler". AT&T Bell Laboratories Technical Reports (32). AT&T Bell Laboratories Murray Hill, New Jersey 07974. Retrieved 31 October 2014.{{cite journal}}: CS1 maint: location (link)
  9. ^ lex – Shell and Utilities Reference, The Single UNIX Specification, Version 4 from The Open Group, yacc – Shell and Utilities Reference, The Single UNIX Specification, Version 4 from The Open Group.
  10. ^ "plan9: UC Berkeley release of Plan 9 under the GPLv2". 26 December 2017. Retrieved 2 January 2018.
  11. ^ "OCaml User's Manual: Chapter 12 Lexer and parser generators (ocamllex, ocamlyacc)". Retrieved 25 Nov 2013.
  12. ^ "Yacc.go: A version of Yacc for the Go Programming Language". Retrieved 15 July 2017.
  13. ^ "CL-Yacc: A Common Lisp version of Yacc".
  14. ^ "yecc: An Erlang implementation of Yacc".
Retrieved from "https://en.wikipedia.org/w/index.php?title=Yacc&oldid=863296562"