The file 11-2-schroeder.jff Contains the specified machine. However, all the
edges to the 'No' sink state cluttered it up. The original version
rejects only answers in the form a*b*c*d* (i.e. answers that are well-formed
but where the numbers do not match up) using the no state and dies to reject
malformed input (e.g. dcba as opposed to well-formed input that is not in the
language, e.g. abbbccddd). The original can be found in
11-2-schroeder.original.jff and there is also a screenshot of it.

I am experiencing a jflap problem where the notes migrate to wrong places.
Please let me know if the notes are egregiously misplaced, I can send you
a screenshot of where they are supposed to be.