# automata.d/testdata file eosdeltest3
Format 2.2
fsa {
	states 29
	symbols 4
	bfs
	min
	variables 1
	alphabet {1 = a 2 = b 3 = B 4 = $  }
	start { 1 }

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