# making automaton for K = 2; N = 5
echo "00000"
echo "(0+1)*00000(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > d0
./fmstats d0
echo "00001"
echo "(0+1)*00001(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a1
echo "(0+1)*10000(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b1
./fmunion a1 b1 | ./fmdeterm | ./fmmin > c1
./fmcross d0 c1 | ./fmdeterm | ./fmmin > d1
./fmstats d1
echo "00010"
echo "(0+1)*00010(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a2
echo "(0+1)*01000(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b2
./fmunion a2 b2 | ./fmdeterm | ./fmmin > c2
./fmcross d1 c2 | ./fmdeterm | ./fmmin > d2
./fmstats d2
echo "00011"
echo "(0+1)*00011(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a3
echo "(0+1)*11000(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b3
./fmunion a3 b3 | ./fmdeterm | ./fmmin > c3
./fmcross d2 c3 | ./fmdeterm | ./fmmin > d3
./fmstats d3
echo "00100"
echo "(0+1)*00100(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c4
./fmcross d3 c4 | ./fmdeterm | ./fmmin > d4
./fmstats d4
echo "00101"
echo "(0+1)*00101(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a5
echo "(0+1)*10100(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b5
./fmunion a5 b5 | ./fmdeterm | ./fmmin > c5
./fmcross d4 c5 | ./fmdeterm | ./fmmin > d5
./fmstats d5
echo "00110"
echo "(0+1)*00110(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a6
echo "(0+1)*01100(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b6
./fmunion a6 b6 | ./fmdeterm | ./fmmin > c6
./fmcross d5 c6 | ./fmdeterm | ./fmmin > d6
./fmstats d6
echo "00111"
echo "(0+1)*00111(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a7
echo "(0+1)*11100(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b7
./fmunion a7 b7 | ./fmdeterm | ./fmmin > c7
./fmcross d6 c7 | ./fmdeterm | ./fmmin > d7
./fmstats d7
echo "01001"
echo "(0+1)*01001(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a8
echo "(0+1)*10010(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b8
./fmunion a8 b8 | ./fmdeterm | ./fmmin > c8
./fmcross d7 c8 | ./fmdeterm | ./fmmin > d8
./fmstats d8
echo "01010"
echo "(0+1)*01010(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c9
./fmcross d8 c9 | ./fmdeterm | ./fmmin > d9
./fmstats d9
echo "01011"
echo "(0+1)*01011(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a10
echo "(0+1)*11010(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b10
./fmunion a10 b10 | ./fmdeterm | ./fmmin > c10
./fmcross d9 c10 | ./fmdeterm | ./fmmin > d10
./fmstats d10
echo "01101"
echo "(0+1)*01101(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a11
echo "(0+1)*10110(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b11
./fmunion a11 b11 | ./fmdeterm | ./fmmin > c11
./fmcross d10 c11 | ./fmdeterm | ./fmmin > d11
./fmstats d11
echo "01110"
echo "(0+1)*01110(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c12
./fmcross d11 c12 | ./fmdeterm | ./fmmin > d12
./fmstats d12
echo "01111"
echo "(0+1)*01111(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a13
echo "(0+1)*11110(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b13
./fmunion a13 b13 | ./fmdeterm | ./fmmin > c13
./fmcross d12 c13 | ./fmdeterm | ./fmmin > d13
./fmstats d13
echo "10001"
echo "(0+1)*10001(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c14
./fmcross d13 c14 | ./fmdeterm | ./fmmin > d14
./fmstats d14
echo "10011"
echo "(0+1)*10011(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a15
echo "(0+1)*11001(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b15
./fmunion a15 b15 | ./fmdeterm | ./fmmin > c15
./fmcross d14 c15 | ./fmdeterm | ./fmmin > d15
./fmstats d15
echo "10101"
echo "(0+1)*10101(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c16
./fmcross d15 c16 | ./fmdeterm | ./fmmin > d16
./fmstats d16
echo "10111"
echo "(0+1)*10111(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > a17
echo "(0+1)*11101(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > b17
./fmunion a17 b17 | ./fmdeterm | ./fmmin > c17
./fmcross d16 c17 | ./fmdeterm | ./fmmin > d17
./fmstats d17
echo "11011"
echo "(0+1)*11011(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c18
./fmcross d17 c18 | ./fmdeterm | ./fmmin > d18
./fmstats d18
echo "11111"
echo "(0+1)*11111(0+1)*" | ./retofm | ./fmdeterm | ./fmmin | ./fmcment > c19
./fmcross d18 c19 | ./fmdeterm | ./fmmin > d19
./fmstats d19
cp d19 aut25.txt