# automata.d/testdata file picturetest4
Format 2.2   
#This is a made up example that does not correspond to any group
fsa {
	states 8
	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	   0   0   4   5   6;
   3  N	   0   0   4   5   6;
   4  N	   0   0   0   0   6;
   5  N	   0   0   7   8   6;
   6  A	   0   0   0   0   0;
   7  A	   0   0   0   0   6;
   8  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 }
