Airelles (Ressources Linguistiques)


Ambiguity detection in GNU Bison

Developped by Sylvain Schmitz during his thesis at I3S.
Copyright © 2006, 2007 Laboratoire I3S.
Copyright © 1984, 1986, 1989, 1992, 1995, 2000, 2001, 2002, 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
Licensed under the GNU GPL.

Implements a conservative test for ambiguity in context-free grammars (see article). The tool is an implementation of an `--ambiguity' option in GNU Bison. With this option, Bison attempts to find the ambiguities in the provided grammar instead of constructing a parser.
The source is available here. Some related options are `--conflicts', which reports the initial LR(0) conflicts that might end up in an ambiguity, `--trace=ma', which displays the computed mutually accessible item pairs, and `--trace=metrics', which displays a few grammar metrics.
See the ChangeLog for the latest bug fixes.
See also the collection of grammars for programming language employed for the experimental results presented in Sylvain's thesis.