dk.brics.grammar

Some grammars used for testing the ambiguity analyzer:

Small test grammars:

palindromes.cfg (unambiguous)
reverse.cfg (unambiguous)
exp.cfg (unambiguous¹)
java-exp.cfg (unambiguous¹)
odd-even.cfg (unambiguous)
h-amb.cfg (1 horizontal ambiguity)
v-amb.cfg (1 vertical ambiguity)

Grammars from bioinformatics (collected by Robert Giegerich):

R.cfg (unambiguous)
g1.cfg (5 vertical ambiguities, 1 horizontal ambiguity¹)
g2.cfg (6 vertical ambiguities, 1 horizontal ambiguity¹)
g3.cfg (unambiguous¹)
g4.cfg (unambiguous¹)
g5.cfg (unambiguous¹)
g6.cfg (unambiguous¹)
g7.cfg (unambiguous²)
g8.cfg (unambiguous²)
basepairs.cfg (unambiguous)
voss-light.cfg (unambiguous²)
voss.cfg (unambiguous³)

Various other grammars (collected by Sylvain Schmitz):

s1.cfg (1 vertical ambiguity, 2 horizontal ambiguities)
s2.cfg (unambiguous)
s3.cfg (unambiguous)
s4.cfg (1 vertical ambiguity)
s5.cfg (unambiguous^*)
s6.cfg (unambiguous)
s7.cfg (unambiguous^*)
01_05_076.cfg (1 horizontal ambiguity¹)
03_01_011.cfg (1 horizontal ambiguity)
03_02_124.cfg (unambiguous)
03_05_170.cfg (1 vertical ambiguity, 1 horizontal ambiguity)
03_09_027.cfg (unambiguous)
03_09_081.cfg (unambiguous)
04_02_041.cfg (unambiguous)
04_11_047.cfg (1 vertical ambiguity + some potential?)
05_03_092.cfg (unambiguous)
05_03_114.cfg (unambiguous)
05_06_028.cfg (2 horizontal ambiguites²)
06_10_036.cfg (1 vertical ambiguity¹)
90_10_042.cfg (unambiguous)
91_08_014.cfg (2 vertical ambiguities + some potential?)
98_05_030.cfg (unambiguous¹)
98_08_215.cfg (unambiguous)
java_arrays.cfg (unambiguous)
java_casts.cfg (unambiguous)
java_modifiers.cfg (unambiguous)
java_names.cfg (unambiguous)

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