Jump to content

Berkeley Yacc

From Wikipedia, the free encyclopedia
(Redirected from Backtracking Yacc)
Berkeley Yacc
Original author(s)Robert Corbett
Developer(s)Thomas Dickey
Initial releaseSeptember 2, 1989; 35 years ago (1989-09-02)[1]
Stable release
20240109[2] Edit this on Wikidata / 9 January 2024; 11 months ago (9 January 2024)
Repository
Written inANSI C89
Operating systemUnix-like
TypeParser generator
Licensepublic domain
Websiteinvisible-island.net/byacc/ Edit this at Wikidata

Berkeley Yacc (byacc) is a Unix parser generator designed to be compatible with Yacc. It was originally written by Robert Corbett and released in 1989.[3] Due to its liberal license and because it was faster than the AT&T Yacc, it quickly became the most popular version of Yacc.[4] It has the advantages of being written in ANSI C89 and being public domain software.

It contains features not available in Yacc, such as reentrancy, which is implemented in a way that is broadly compatible with GNU Bison.[5][6]

History

[edit]

In 1985, Robert Corbett developed an original LALR parser generator based on a 1982 paper by DeRemer and Pennello.[7] Corbett wrote it as part of his research towards the Ph.D. he received from University of California, Berkeley in June 1985.[8][9] It was originally named Byson and was incompatible with Yacc but it was subsequently renamed Bison and became the basis of GNU Bison.

Later in 1985, Corbett developed his LALR parser generator, making it Yacc-compatible and naming it Zeus but subsequently renaming it Zoo.[10] Corbett published the source code for Zoo in a Usenet newsgroup but it went mostly unnoticed until later in September 1989 when Corbett posted on the comp.compilers newsgroup about putting the source code on an FTP server.[1] There was discussion about renaming it and by October 1989 it had become known as Berkeley Yacc (byacc).[11]

In 1995, Chris Dodd developed BtYacc, a backtracking derivative of Berkeley Yacc to support parsing context-sensitive languages like C++,[12][13] based on a 1993 paper by Merrill describing similar modifications to AT&T Yacc.[14][15] Its backtracking and semantic disambiguation capabilities allows it to generator parsers for ambiguous grammars. A rule parsed but rejected by semantic information can be rolled back, so that the parser can try another rule.[16][17] However, it has also been criticized for needing side-effect free trial actions and its inflexible handling of shift-reduce conflicts.[18]

In 1997, Vadim Maslov took over maintenance of BtYacc to support a COBOL parser developed by his company.[19] By 1999, the last 3.0 release, had been converted to C++, making it no longer implemented in C.[20]

In 2000, Thomas E. Dickey ported Berkeley Yacc to OpenVMS to facilitate porting tin to VMS. After failing to find another maintainer, Dickey has maintained Berkeley Yacc since February 2002.[21] A significant update was the conversion from K&R C to ANSI C89.[21]

In 2014, Tom Shields integrated BtYacc backtracking into Berkeley Yacc effectively subsuming BtYacc and again supporting C (instead of only C++) in Dickey releases since April 2014.[22]

Languages

[edit]

Parser generators typically deal with three languages: the language a generator is implemented in, the language a generated parser is implemented in and of course the metalanguage that describes whatever a generated parser should parse. A fourth language could be considered whatever language a generated parser parses but parser generators do not handle such directly, instead just focusing on generating a parser from a given description while letting the generated parser deal with such. Yacc is written in C and generates parsers in C from its own Yacc metalanguage descriptions. This is also how Berkely Yacc works (thus its compatibility), however, a number of derivatives have been created to allow it to generate parsers in languages other than C.

Ray Lischner developed perl-byacc (pbyacc) from byacc 1.6, so that it could also generate parsers in Perl. Later Richard "Rick" Ohnemus ported the patches from byacc 1.6 to byacc 1.8.[23] And later in 1996, Jake Donham developed p5yacc from perl-yacc 1.8.2 so that its generated Perl parsers would use Perl 5 classes.

In 1994, Mike Kleyn developed tyacc from perl-yacc 1.8.2 so that it could also generate parsers in Tcl[24]

In 1997, Bob Jamison developed BYACC/Java (later called BYACC/J or byaccj) from byacc 1.8, so that it could also generate parsers in Java.[25][26]

In 2000, Bruce Bahnsen merged in the Java parser capabilities of BYACC/J into perl-yacc and added the ability to generate parsers in Python.[27] In 2013, Thomas Dickerson made further improvements on it deeming it PyByacc.[28]

In 2003, Dave Bodenstab merged tyacc and p5yacc to develop a PERL-TCL-YACC rebasing it from 4.8 release of yacc from FreeBSD (a byacc derivative).[29]

See also

[edit]

References

[edit]
  1. ^ a b Corbett, Robert (September 2, 1989). "PD LALR(1) parser generator". Newsgroup: comp.compilers. Usenet: 1989Sep2.134244.1611@esegue.uucp. Retrieved 2021-09-17.
  2. ^ "Index of /archives/byacc".
  3. ^ Doug Brown; John Levine; Tony Mason (October 1992), lex & yacc (2 ed.), O'Reilly Media
  4. ^ John Levine (August 2009), flex & bison, O'Reilly Media
  5. ^ "Berkeley Yacc". invisible-island.net. Archived from the original on 2020-10-19. Retrieved 2020-11-10. ...support for reentrant code, which has evolved in byacc to the point where it can be compared and tuned against bison.
  6. ^ "Berkeley Yacc Change log, see entry "2010-06-07 Andres.Meji"". 2010-06-07. Archived from the original on 2020-11-10. Retrieved 2020-11-10.
  7. ^ DeRemer, Frank; Pennello, Thomas (October 1982). "Efficient Computation of LALR(1) Look-Ahead Sets" (PDF). ACM Trans. Program. Lang. Syst. 4 (4). ACM: 615–649. doi:10.1145/69622.357187. ISSN 0164-0925. S2CID 52833742. Retrieved 2017-08-26.
  8. ^ Corbett, Robert (September 24, 1998). "Re: Anyone extended MAXTABLE in yacc parsers?". Newsgroup: comp.compilers. Usenet: 98-09-125@comp.compilers. Retrieved 2017-08-26.
  9. ^ Corbett, Robert Paul (June 1985). Static Semantics and Compiler Error Recovery (Ph.D.). University of California, Berkeley. DTIC ADA611756.
  10. ^ Corbett, Robert (September 6, 1989). "Name that PD parser generator". Newsgroup: comp.compilers. Usenet: 1989Sep6.152554.318@esegue.segue.boston.ma.us. Retrieved 2017-08-26.
  11. ^ Corbett, Robert (October 3, 1989). "Berkeley Yacc (new version)". Newsgroup: comp.compilers. Usenet: 1989Oct3.230634.1007@esegue.segue.boston.ma.us. Retrieved 2021-09-17.
  12. ^ Dodd, Chris (March 7, 1995). "BTYACC -- yacc with backtracking and inherited attributes". Newsgroup: comp.compilers. Usenet: 95-03-044@comp.compilers. Retrieved 2021-09-17.
  13. ^ "README.txt". BtYacc: BackTracking Yacc. Siber Systems. Retrieved 2020-05-14.
  14. ^ "README.BYACC". Backtracking yacc. GitHub. Retrieved 2022-08-12.
  15. ^ Merrill, Gary H. (August 1, 1993). "Parsing Non-LR(k) grammars with yacc". Software: Practice and Experience. 23 (8): 829–850. CiteSeerX 10.1.1.14.1958. doi:10.1002/spe.4380230803. ISSN 0038-0644. S2CID 14695500.
  16. ^ "btyacc(1)". Debian stretch — Debian Manpages.
  17. ^ Dodd, Chris (13 February 2019). "ChrisDodd/btyacc". GitHub.
  18. ^ Thurston, Adrian D.; Cordy, James R. (2006). "A Backtracking LR Algorithm for Parsing Ambiguous Context-Dependent Languages" (PDF). In Erdogmus, Hakan; Stroulia, Eleni; Stewart, Darlene A. (eds.). Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, October 16–19, 2006, Toronto, Ontario, Canada. CASCON 2006. pp. 39–53. CiteSeerX 10.1.1.518.7094. doi:10.1145/1188966.1188972. Retrieved 2020-05-14.
  19. ^ Maslov, Vadim (October 8, 1997). "Version 1.1 of BtYacc (Backtracking Yacc) is available". Newsgroup: comp.compilers. Usenet: 97-10-039@comp.compilers. Retrieved 2021-09-17.
  20. ^ "BtYacc: BackTracking Yacc Parser Generator". Siber Systems. Retrieved 2020-05-18.
  21. ^ a b "BYACC - BERKELEY YACC". invisible-island.net. Archived from the original on 2002-04-06. Retrieved 2020-11-10.
  22. ^ "Release t20140407". ThomasDickey/byacc-snapshots. GitHub. Retrieved 2020-05-18.
  23. ^ "ACKNOWLEDGEMENTS". elfprince13/PyByacc. GitHub. 2013-01-14. Retrieved 2021-11-01.
  24. ^ "tyacc-0.9.README". pub/languages/tcl/ibp. ftp.funet.fi. Retrieved 2021-11-01.
  25. ^ "BYACC/Java Home Page". Bob Jamison. LinCom Innovations ASG. Archived from the original on 1998-12-05.
  26. ^ "master/src/skeleton.c". byacc/j. SourceForge. Retrieved 2021-10-28.
  27. ^ "Berkeley Yacc". SourceForge. 8 March 2013. Retrieved 2021-11-01.
  28. ^ "elfprince13/PyByacc". GitHub. 2013-01-14. Retrieved 2021-11-01.
  29. ^ "BYACC which produces Perl/Tcl parsers". Dave Bodenstab's Home Page. Archived from the original on 2021-05-01.
[edit]
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Berkeley_Yacc&oldid=1260197370#History"