# automata.d/testdata file eosaddtest3
Format 2.2
fsa {
	states 28
	symbols 3
	min
	bfs
	variables 1
	no_eos
	alphabet {1 = a 2 = b 3 = B  }
	start { 1 }

%
atable
   1  A	   2   3   4;
   2  A	   0   5   6;
   3  A	   7   0   0;
   4  A	   8   0   0;
   5  A	   9   0   0;
   6  A	  10   0   0;
   7  A	   0  11  12;
   8  A	   0  13  14;
   9  A	   0  15  12;
  10  A	   0  13  15;
  11  A	  16   0   0;
  12  A	  17   0   0;
  13  A	  18   0   0;
  14  A	  19   0   0;
  15  A	  20   0   0;
  16  A	   0   0  21;
  17  A	   0  22  20;
  18  A	   0  20  23;
  19  A	   0  21   0;
  20  A	   0   0   0;
  21  A	  24   0   0;
  22  A	  25   0   0;
  23  A	  26   0   0;
  24  A	   0  20  20;
  25  A	   0  20  27;
  26  A	   0  15  20;
  27  A	  28   0   0;
  28  A	   0  20   0;
}
	# Symbols used for inverses of generators
inverses {
inv(a)=a inv(b)=B inv(B)=b }
