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 moves:
  21 0_ = N
  22 10 = L
  23 11 = R
  24 *)
  25
  26 (*
  27
  28 step :
  29
  30 if is_true(current) (* current state is final *)
  31    then nop
  32    else
  33    match_tuple;
  34    if is_marked(current) = false (* match *)
  35       then adv_mark_r;
  36            move_l;
  37            init_current;
  38            move_r;
  39            adv_to_mark_r;
  40            copy;
  41            ...move...
  42            reset;
  43       else sink;
  44
  45 MANCANO MOVE E RESET
  46
  47 *)