Berkeley Yacc

Berkeley Yacc ( byacc ) es un generador de analizadores sintácticos de Unix diseñado para ser compatible con Yacc . Fue escrito originalmente por Robert Corbett y lanzado en 1989. ^{[ 3 ]} Debido a su licencia permisiva y a que era más rápido que el Yacc de AT&T, rápidamente se convirtió en la versión más popular de Yacc. ^{[ 4 ]} Tiene las ventajas de estar escrito en ANSI C89 y ser software de dominio público .

Contiene características no disponibles en Yacc, como la reentrada, que se implementa de una manera ampliamente compatible con GNU Bison . ^{[ 5 ] [ 6 ]}

En 1985, Robert Corbett desarrolló un generador de analizadores LALR original basado en un artículo de 1982 de DeRemer y Pennello. ^{[ 7 ]} Corbett lo escribió como parte de su investigación para el doctorado que recibió de la Universidad de California, Berkeley en junio de 1985. ^{[ 8 ] [ 9 ]} Originalmente se llamó Byson y era incompatible con Yacc , pero posteriormente se le cambió el nombre a Bison y se convirtió en la base de GNU Bison .

Más adelante, en 1985, Corbett desarrolló su generador de analizadores LALR, haciéndolo compatible con Yacc y llamándolo Zeus, pero posteriormente lo renombró Zoo. ^{[ 10 ]} Corbett publicó el código fuente de Zoo en un grupo de noticias de Usenet, pero pasó prácticamente desapercibido hasta finales de septiembre de 1989, cuando Corbett publicó en el grupo de noticias comp.compilers sobre la posibilidad de subir el código fuente a un servidor FTP . ^{[ 1 ]} Se debatió sobre un posible cambio de nombre y, para octubre de 1989, se le conocía como Berkeley Yacc (byacc). ^{[ 11 ]}

En 1995, Chris Dodd desarrolló BtYacc, un derivado de retroceso de Berkeley Yacc para admitir el análisis sintáctico de lenguajes sensibles al contexto como C++ , ^{[ 12 ] [ 13 ]} basado en un artículo de 1993 de Merrill que describía modificaciones similares a AT&T Yacc. ^{[ 14 ] [ 15 ]} Sus capacidades de retroceso y desambiguación semántica le permiten generar analizadores sintácticos para gramáticas ambiguas . Una regla analizada pero rechazada por la información semántica puede revertirse, de modo que el analizador pueda intentar otra regla. ^{[ 16 ] [ 17 ]} Sin embargo, también ha sido criticado por necesitar acciones de prueba sin efectos secundarios y por su manejo inflexible de conflictos de desplazamiento-reducción. ^{[ 18 ]}

En 1997, Vadim Maslov asumió el mantenimiento de BtYacc para dar soporte a un analizador sintáctico ^de COBOL desarrollado por su empresa. ^{[ 19 ]} Para 1999, la última versión 3.0 se había convertido a C++ , por lo que ya no se implementaba en C. [ ^{20 ]}

En 2000, Thomas E. Dickey adaptó Berkeley Yacc a OpenVMS para facilitar la adaptación de tin a VMS. Tras no encontrar otro mantenedor, Dickey ha mantenido Berkeley Yacc desde febrero de 2002. ^{[ 21 ]} Una actualización importante fue la conversión de K&R C a ANSI C89 . ^{[ 21 ]}

En 2014, Tom Shields integró el retroceso de BtYacc en Berkeley Yacc, absorbiendo efectivamente BtYacc y volviendo a admitir C (en lugar de solo C++) en las versiones de Dickey desde abril de 2014. ^{[ 22 ]}

Los generadores de analizadores sintácticos suelen trabajar con tres lenguajes: el lenguaje en el que se implementa el generador, el lenguaje en el que se implementa el analizador generado y, por supuesto, el metalenguaje que describe lo que el analizador generado debe analizar. Un cuarto lenguaje podría ser el lenguaje que analiza el analizador generado, pero los generadores de analizadores no lo manejan directamente, sino que se centran en generar un analizador a partir de una descripción dada, dejando que el analizador generado se encargue de ello. Yacc está escrito en C y genera analizadores en C a partir de sus propias descripciones de metalenguaje Yacc. Así es también como funciona Berkeley Yacc (de ahí su compatibilidad); sin embargo, se han creado varias versiones derivadas para permitirle generar analizadores en lenguajes distintos de C.

Ray Lischner desarrolló perl-byacc (pbyacc) a partir de byacc 1.6, para que también pudiera generar analizadores sintácticos en Perl . Más tarde, Richard "Rick" Ohnemus portó los parches de byacc 1.6 a byacc 1.8. ^{[ 23 ]} Y más tarde, en 1996, Jake Donham desarrolló p5yacc a partir de perl-yacc 1.8.2 para que sus analizadores sintácticos de Perl generados usaran clases de Perl 5 .

En 1994, Mike Kleyn desarrolló tyacc a partir de perl-yacc 1.8.2 para que también pudiera generar analizadores sintácticos en Tcl ^{[ 24 ].}

En 1997, Bob Jamison desarrolló BYACC/Java (más tarde llamado BYACC/J o byaccj) a partir de byacc 1.8, para que también pudiera generar analizadores sintácticos en Java . ^{[ 25 ] [ 26 ]}

En 2000, Bruce Bahnsen integró las capacidades de análisis sintáctico de Java de BYACC/J en perl-yacc y añadió la capacidad de generar analizadores sintácticos en Python . ^{[ 27 ]} En 2013, Thomas Dickerson realizó nuevas mejoras, denominándolo PyByacc. ^{[ 28 ]}

En 2003, Dave Bodenstab fusionó tyacc y p5yacc para desarrollar PERL-TCL-YACC, rebasándolo a partir de la versión 4.8 de yacc de FreeBSD (un derivado de byacc). ^{[ 29 ]}

• Comparación de generadores de analizadores sintácticos

• Sitio web oficial