# making automaton for K = 4; N = 2
echo "00"
echo "(0+1+2+3)*00(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > d0
./fmstats d0
echo "01"
echo "(0+1+2+3)*01(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a1
echo "(0+1+2+3)*10(0+1+2+3)*" | ./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+3)*02(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a2
echo "(0+1+2+3)*20(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b2
./fmunion a2 b2 | ./fmdeterm | ./fmmin > c2
./fmcross d1 c2 | ./fmdeterm | ./fmmin > d2
./fmstats d2
echo "03"
echo "(0+1+2+3)*03(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a3
echo "(0+1+2+3)*30(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b3
./fmunion a3 b3 | ./fmdeterm | ./fmmin > c3
./fmcross d2 c3 | ./fmdeterm | ./fmmin > d3
./fmstats d3
echo "11"
echo "(0+1+2+3)*11(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c4
./fmcross d3 c4 | ./fmdeterm | ./fmmin > d4
./fmstats d4
echo "12"
echo "(0+1+2+3)*12(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a5
echo "(0+1+2+3)*21(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b5
./fmunion a5 b5 | ./fmdeterm | ./fmmin > c5
./fmcross d4 c5 | ./fmdeterm | ./fmmin > d5
./fmstats d5
echo "13"
echo "(0+1+2+3)*13(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a6
echo "(0+1+2+3)*31(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b6
./fmunion a6 b6 | ./fmdeterm | ./fmmin > c6
./fmcross d5 c6 | ./fmdeterm | ./fmmin > d6
./fmstats d6
echo "22"
echo "(0+1+2+3)*22(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c7
./fmcross d6 c7 | ./fmdeterm | ./fmmin > d7
./fmstats d7
echo "23"
echo "(0+1+2+3)*23(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a8
echo "(0+1+2+3)*32(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b8
./fmunion a8 b8 | ./fmdeterm | ./fmmin > c8
./fmcross d7 c8 | ./fmdeterm | ./fmmin > d8
./fmstats d8
echo "33"
echo "(0+1+2+3)*33(0+1+2+3)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c9
./fmcross d8 c9 | ./fmdeterm | ./fmmin > d9
./fmstats d9
cp d9 aut42.txt