# making automaton for K = 3; N = 2
echo "00"
echo "(0+1+2)*00(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > d0
./fmstats d0
echo "01"
echo "(0+1+2)*01(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a1
echo "(0+1+2)*10(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b1
./fmunion a1 b1 | ./fmdeterm | ./fmmin > c1
./fmcross d0 c1 | ./fmdeterm | ./fmmin > d1
./fmstats d1
echo "02"
echo "(0+1+2)*02(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a2
echo "(0+1+2)*20(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b2
./fmunion a2 b2 | ./fmdeterm | ./fmmin > c2
./fmcross d1 c2 | ./fmdeterm | ./fmmin > d2
./fmstats d2
echo "11"
echo "(0+1+2)*11(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c3
./fmcross d2 c3 | ./fmdeterm | ./fmmin > d3
./fmstats d3
echo "12"
echo "(0+1+2)*12(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a4
echo "(0+1+2)*21(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b4
./fmunion a4 b4 | ./fmdeterm | ./fmmin > c4
./fmcross d3 c4 | ./fmdeterm | ./fmmin > d4
./fmstats d4
echo "22"
echo "(0+1+2)*22(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c5
./fmcross d4 c5 | ./fmdeterm | ./fmmin > d5
./fmstats d5
cp d5 aut32.txt