# making automaton for K = 2; N = 4
echo "0000"
echo "(0+1)*0000(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > d0
./fmstats d0
echo "0001"
echo "(0+1)*0001(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a1
echo "(0+1)*1000(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b1
./fmunion a1 b1 | ./fmdeterm | ./fmmin > c1
./fmcross d0 c1 | ./fmdeterm | ./fmmin > d1
./fmstats d1
echo "0010"
echo "(0+1)*0010(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a2
echo "(0+1)*0100(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b2
./fmunion a2 b2 | ./fmdeterm | ./fmmin > c2
./fmcross d1 c2 | ./fmdeterm | ./fmmin > d2
./fmstats d2
echo "0011"
echo "(0+1)*0011(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a3
echo "(0+1)*1100(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b3
./fmunion a3 b3 | ./fmdeterm | ./fmmin > c3
./fmcross d2 c3 | ./fmdeterm | ./fmmin > d3
./fmstats d3
echo "0101"
echo "(0+1)*0101(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a4
echo "(0+1)*1010(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b4
./fmunion a4 b4 | ./fmdeterm | ./fmmin > c4
./fmcross d3 c4 | ./fmdeterm | ./fmmin > d4
./fmstats d4
echo "0110"
echo "(0+1)*0110(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c5
./fmcross d4 c5 | ./fmdeterm | ./fmmin > d5
./fmstats d5
echo "0111"
echo "(0+1)*0111(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a6
echo "(0+1)*1110(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b6
./fmunion a6 b6 | ./fmdeterm | ./fmmin > c6
./fmcross d5 c6 | ./fmdeterm | ./fmmin > d6
./fmstats d6
echo "1001"
echo "(0+1)*1001(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c7
./fmcross d6 c7 | ./fmdeterm | ./fmmin > d7
./fmstats d7
echo "1011"
echo "(0+1)*1011(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a8
echo "(0+1)*1101(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b8
./fmunion a8 b8 | ./fmdeterm | ./fmmin > c8
./fmcross d7 c8 | ./fmdeterm | ./fmmin > d8
./fmstats d8
echo "1111"
echo "(0+1)*1111(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c9
./fmcross d8 c9 | ./fmdeterm | ./fmmin > d9
./fmstats d9
cp d9 aut24.txt