# automata.d/testdata file enumeratetest2
Format 2.2
fsa {
	states 3
	symbols 2
	variables 1
	no_eos
	alphabet {1 = x 2 = y }
	start { 1 }

%
atable
   1 A    2  3
   2 A   -1  3
   3 A   -3 -2
}

parameters {
maxlength 5
}
