X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Flib%2Fturing%2Funiversal%2Funiversal.ma;h=1ef5b07ef2290388f3af01de3ac9ab0b3b3ad23f;hb=64a59f1d6a60237ad78234f2bf90c0e5eb8c89ce;hp=aa75b326aa7ca1f5216a0d9b03c0f6bf6df5c45c;hpb=ed36a3d3f81cf251c41bbe1d208376bb0709c600;p=helm.git

diff --git a/matita/matita/lib/turing/universal/universal.ma b/matita/matita/lib/turing/universal/universal.ma
index aa75b326a..1ef5b07ef 100644
--- 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