dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
Thor  |  TSCheck  |  JSRefactor  |  Artemis  |  TAJS  |  Java String Analyzer  |  XSLT Validator  |  WARlord  |  XSugar  |  Xact  |  JWIG


Some grammars used for testing the ambiguity analyzer:

Small test grammars:

Grammars from bioinformatics (collected by Robert Giegerich): Various other grammars (collected by Sylvain Schmitz): The grammars have been converted to dk.brics.grammar notation by Claus Brabrand.

1, 2, 3) the grammar unfolding feature can be used to increase analysis precision: the marks 1,2,3 correspond to the levels of unfolding needed in the examples to get best precision

*) ambiguity analyzer reports spurious potential ambiguity warnings in these cases