#  automata.d/testdata file eosaddtest
Format 2.2
#Result of     eosdel<eosdeltest
fsa {
	states 8
	symbols 24
	bfs
	min
	variables 2
	no_eos
	base-alphabet {1 = a 2 = A 3 = b 4 = B 5 = $  }
	alphabet {1 = (a,a) 2 = (a,A) 3 = (a,b) 4 = (a,B) 5 = (a,$) 
6 = (A,a) 7 = (A,A) 8 = (A,b) 9 = (A,B) 10 = (A,$) 
11 = (b,a) 12 = (b,A) 13 = (b,b) 14 = (b,B) 15 = (b,$) 
16 = (B,a) 17 = (B,A) 18 = (B,b) 19 = (B,B) 20 = (B,$) 
21 = ($,a) 22 = ($,A) 23 = ($,b) 24 = ($,B)  }
	start { 1 }

%
ctable
   1  N	 1 > 2, 7 > 3, 8 > 4, 9 > 5, 10 > 6, 11 > 7, 16 > 8, 21 > 6;
   2  N	 1 > 2, 11 > 7, 16 > 8, 21 > 6;
   3  N	 7 > 3, 8 > 4, 9 > 5, 10 > 6;
   4  N	 13 > 4, 15 > 6;
   5  N	 19 > 5, 20 > 6;
   6  A	;
   7  N	 13 > 7, 23 > 6;
   8  N	 19 > 8, 24 > 6;
}
	# Symbols used for inverses of generators
inverses {
inv(a)=A inv(A)=a inv(b)=B inv(B)=b }
