Skip to content

Latest commit

 

History

History
4 lines (4 loc) · 122 Bytes

README.md

File metadata and controls

4 lines (4 loc) · 122 Bytes

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.