STATO 9:
stato finale
*)
+(* TODO
match s with
[ q0 ⇒ match c with
[ bit x ⇒ 〈q1,〈mark x,L〉〉
| mark D ⇒ 〈q9,〈bit D,L〉〉 ]
| q9 ⇒ ? (* successo *)
].
-
+*)
(*
==================================
MACCHINE PER SPOSTARE LA "TESTINA"
STATO 4:
stato finale
*)
-
+(* TODO
match s with
[ q0 ⇒ match c with
[ bit x ⇒ 〈q1 x,〈c,L〉〉
| q2 d ⇒ 〈q0,〈d,L〉〉
| q3 ⇒ 〈q4,〈grid,L〉〉
| q4 ⇒ (* finale *) ].
-
+*)
(*
MACCHINA B
----------
STATO 4:
stato finale
*)
-
+(* TODO
match s with
[ q0 ⇒ match c with
[ bit x ⇒ 〈q1 x,〈c,R〉〉
| q2 d ⇒ 〈q0,〈d,R〉〉
| q3 ⇒ 〈q4,〈grid,L〉〉
| q4 ⇒ (* finale *) ].
-
+*)
(*
MACCHINA C
----------
stato finale
*)
-
+(* TODO
match s with
[ q0 ⇒ match c with
[ bit x ⇒ 〈q1 x,〈c,R〉〉
| _ ⇒ 〈q2 c,〈bit x,L〉〉
| q2 d ⇒ 〈q0,〈c,R〉〉
| q3 ⇒ (* finale *) ].
+*)
\ No newline at end of file