Near Matches
Ignore Exact
Everything
2
Proof of the Myhill Theorem