# automata.d/testdata file eosdeltest2
Format 2.2
#From file g9.wa
fsa {
	states 6
	symbols 5
	bfs
	min
	variables 1
	alphabet {1 = a 2 = A 3 = b 4 = B 5 = $  }
	start { 1 }

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