MP-FSM

A program that makes MP FSMs for specific lines:

1. (1^n 0^m | n>m≥0);
2. 1^n0^m1^n0^m & 1^m0^(m+n), n>0, m>0.