MP-FSM A program that makes MP FSMs for specific lines: (1^n 0^m | n>m≥0); 1^n0^m1^n0^m & 1^m0^(m+n), n>0, m>0.