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

%
atable
   1  N	   2   3   4   5;
   2  N	   0   3   4   5;
   3  N	   6   0   4   5;
   4  N	   7   0   0   5;
   5  A	   0   0   0   5;
   6  N	   0   0   4   5;
   7  N	   0   6   8   5;
   8  N	   9   0   0   5;
   9  N	   0  10  11   5;
  10  N	   0   0  12   5;
  11  N	   0   0   0   5;
  12  N	  13   0   0   5;
  13  N	   0   0   8   5;
}
	# Symbols used for inverses of generators
inverses {
inv(a)=a inv(b)=b inv(c)=c }
