matita/matita/lib/turing/universal/universal.ma

   1 (*
   2     ||M||  This file is part of HELM, an Hypertextual, Electronic
   3     ||A||  Library of Mathematics, developed at the Computer Science
   4     ||T||  Department of the University of Bologna, Italy.
   5     ||I||
   6     ||T||
   7     ||A||
   8     \   /  This file is distributed under the terms of the
   9      \ /   GNU General Public License Version 2
  10       V_____________________________________________________________*)
  11
  12
  13 (* COMPARE BIT
  14
  15 *)
  16
  17 include "turing/universal/copy.ma".
  18
  19 (*
  20
  21 step :
  22
  23 init_current;
  24 init_table;
  25 match_tuple;
  26 if is_marked(current) = false (* match *)
  27    then init_current; (* preconditions? *)
  28         adv_to_mark_r;
  29         adv_mark_r;
  30         copy;
  31         ...move...
  32
  33
  34 *)