# automata.d/testdata file eosadddtest2
Format 2.2
#Result of     eosdel < eosdeltest2
fsa {
	states 5
	symbols 4
	bfs
	min
	variables 1
	no_eos
	alphabet {1 = a 2 = A 3 = b 4 = B  }
	start { 1 }

%
atable
   1  A	   2   3   4   5;
   2  A	   2   0   4   5;
   3  A	   0   3   4   5;
   4  A	   0   0   4   0;
   5  A	   0   0   0   5;
}
	# Symbols used for inverses of generators
inverses {
inv(a)=A inv(A)=a inv(b)=B inv(B)=b }
