- [ true ⇒ 〈q4,〈bit y,R〉〉
- | false ⇒ 〈q5,〈bit y,R〉〉 ]
- | _ ⇒ 〈q3 x,〈c,R〉〉 ]
-| q4 ⇒ match c with
- [ comma ⇒ 〈qSuccess,〈comma,R〉〉
- | bit x ⇒ 〈q1,〈mark x,L〉〉
- | _ ⇒ 〈qsink,〈c,N〉〉 ]
-| q5 ⇒ match c with
- | bar ⇒ 〈q6,〈bar,R〉〉
- | _ ⇒ 〈q5,〈c,R〉〉
-| q6 ⇒ match c with
- [ bit x ⇒ 〈q7,〈mark x,L〉〉
- | _ ⇒ 〈qsink,〈c,N〉〉 ]
-| q7 ⇒ match c with
- [ grid ⇒ 〈q8,〈grid,L〉〉
- | _ ⇒ 〈q7,〈c,L〉〉 ]
-| q8 ⇒ match c with
- [ grid ⇒ 〈q9,〈grid,R〉〉
- | mark x ⇒ 〈q8,〈bit x,L〉〉
- | _ ⇒ 〈q8,〈c,L〉〉 ]
-| q9 ⇒ match c with
- [ bit x ⇒ 〈qFailure,〈mark x,L〉〉
- | _ ⇒ 〈qsink,〈c,N〉〉 ]
-| qsink ⇒ 〈qsink,〈c,N〉〉 ]
+ [ true ⇒ 〈qm4,〈bit y,R〉〉
+ | false ⇒ 〈qm5,〈bit y,R〉〉 ]
+ | _ ⇒ 〈qm3 x,〈c,R〉〉 ]
+| qm4 ⇒ match c with
+ [ comma ⇒ 〈qmsuccess,〈comma,R〉〉
+ | bit x ⇒ 〈qm1,〈mark x,L〉〉
+ | _ ⇒ 〈qmsink,〈c,N〉〉 ]
+| qm5 ⇒ match c with
+ [ bar ⇒ 〈qm6,〈bar,R〉〉
+ | _ ⇒ 〈qm5,〈c,R〉〉 ]
+| qm6 ⇒ match c with
+ [ bit x ⇒ 〈qm7,〈mark x,L〉〉
+ | _ ⇒ 〈qmsink,〈c,N〉〉 ]
+| qm7 ⇒ match c with
+ [ grid ⇒ 〈qm8,〈grid,L〉〉
+ | _ ⇒ 〈qm7,〈c,L〉〉 ]
+| qm8 ⇒ match c with
+ [ grid ⇒ 〈qm9,〈grid,R〉〉
+ | mark x ⇒ 〈qm8,〈bit x,L〉〉
+ | _ ⇒ 〈qm8,〈c,L〉〉 ]
+| qm9 ⇒ match c with
+ [ bit x ⇒ 〈qmfailure,〈mark x,L〉〉
+ | _ ⇒ 〈qmsink,〈c,N〉〉 ]
+| qmsink ⇒ 〈qmsink,〈c,N〉〉
+| qmsuccess ⇒ 〈qmsuccess,〈c,N〉〉
+| qmfailure ⇒ 〈qmfailure,〈c,N〉〉].