Progress

[helm.git] / matita / matita / lib / turing / universal / universal.ma

diff --git a/matita/matita/lib/turing/universal/universal.ma b/matita/matita/lib/turing/universal/universal.ma
index aa75b326aa7ca1f5216a0d9b03c0f6bf6df5c45c..1ef5b07ef2290388f3af01de3ac9ab0b3b3ad23f 100644 (file)
--- a/matita/matita/lib/turing/universal/universal.ma
+++ b/matita/matita/lib/turing/universal/universal.ma
@@ -16,19 +16,32 @@
 
 include "turing/universal/copy.ma".
 
+(*
+moves:
+0_ = N
+10 = L
+11 = R
+*)
+
 (*
 
 step :
 
-init_current;
-init_table;
-match_tuple;
-if is_marked(current) = false (* match *)
-   then init_current; (* preconditions? *)
-        adv_to_mark_r;
-        adv_mark_r;
-        copy;
-        ...move...
+if is_true(current) (* current state is final *)
+   then nop
+   else
+   match_tuple;
+   if is_marked(current) = false (* match *)
+      then adv_mark_r;
+           move_l;
+           init_current;
+           move_r;
+           adv_to_mark_r;
+           copy;
+           ...move...
+           reset;
+      else sink;
         
+MANCANO MOVE E RESET
 
 *)
\ No newline at end of file