# making automaton for K = 3; N = 3
echo "000"
echo "(0+1+2)*000(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > d0
./fmstats d0
echo "001"
echo "(0+1+2)*001(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a1
echo "(0+1+2)*100(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b1
./fmunion a1 b1 | ./fmdeterm | ./fmmin > c1
./fmcross d0 c1 | ./fmdeterm | ./fmmin > d1
./fmstats d1
echo "002"
echo "(0+1+2)*002(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a2
echo "(0+1+2)*200(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b2
./fmunion a2 b2 | ./fmdeterm | ./fmmin > c2
./fmcross d1 c2 | ./fmdeterm | ./fmmin > d2
./fmstats d2
echo "010"
echo "(0+1+2)*010(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c3
./fmcross d2 c3 | ./fmdeterm | ./fmmin > d3
./fmstats d3
echo "011"
echo "(0+1+2)*011(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a4
echo "(0+1+2)*110(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b4
./fmunion a4 b4 | ./fmdeterm | ./fmmin > c4
./fmcross d3 c4 | ./fmdeterm | ./fmmin > d4
./fmstats d4
echo "012"
echo "(0+1+2)*012(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a5
echo "(0+1+2)*210(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b5
./fmunion a5 b5 | ./fmdeterm | ./fmmin > c5
./fmcross d4 c5 | ./fmdeterm | ./fmmin > d5
./fmstats d5
echo "020"
echo "(0+1+2)*020(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c6
./fmcross d5 c6 | ./fmdeterm | ./fmmin > d6
./fmstats d6
echo "021"
echo "(0+1+2)*021(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a7
echo "(0+1+2)*120(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b7
./fmunion a7 b7 | ./fmdeterm | ./fmmin > c7
./fmcross d6 c7 | ./fmdeterm | ./fmmin > d7
./fmstats d7
echo "022"
echo "(0+1+2)*022(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a8
echo "(0+1+2)*220(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b8
./fmunion a8 b8 | ./fmdeterm | ./fmmin > c8
./fmcross d7 c8 | ./fmdeterm | ./fmmin > d8
./fmstats d8
echo "101"
echo "(0+1+2)*101(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c9
./fmcross d8 c9 | ./fmdeterm | ./fmmin > d9
./fmstats d9
echo "102"
echo "(0+1+2)*102(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a10
echo "(0+1+2)*201(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b10
./fmunion a10 b10 | ./fmdeterm | ./fmmin > c10
./fmcross d9 c10 | ./fmdeterm | ./fmmin > d10
./fmstats d10
echo "111"
echo "(0+1+2)*111(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c11
./fmcross d10 c11 | ./fmdeterm | ./fmmin > d11
./fmstats d11
echo "112"
echo "(0+1+2)*112(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a12
echo "(0+1+2)*211(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b12
./fmunion a12 b12 | ./fmdeterm | ./fmmin > c12
./fmcross d11 c12 | ./fmdeterm | ./fmmin > d12
./fmstats d12
echo "121"
echo "(0+1+2)*121(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c13
./fmcross d12 c13 | ./fmdeterm | ./fmmin > d13
./fmstats d13
echo "122"
echo "(0+1+2)*122(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a14
echo "(0+1+2)*221(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b14
./fmunion a14 b14 | ./fmdeterm | ./fmmin > c14
./fmcross d13 c14 | ./fmdeterm | ./fmmin > d14
./fmstats d14
echo "202"
echo "(0+1+2)*202(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c15
./fmcross d14 c15 | ./fmdeterm | ./fmmin > d15
./fmstats d15
echo "212"
echo "(0+1+2)*212(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c16
./fmcross d15 c16 | ./fmdeterm | ./fmmin > d16
./fmstats d16
echo "222"
echo "(0+1+2)*222(0+1+2)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c17
./fmcross d16 c17 | ./fmdeterm | ./fmmin > d17
./fmstats d17
cp d17 aut33.txt