LOG2.MT

;********************** log2.mt  ***************************
(SETQ FUNCION_DE_TRANSICION '(

             ((Q0 0) (B R Q1))
             ((Q1 0) (B R Q2))
             ((Q2 0) (0 R Q2))
             ((Q3 0) (0 L Q3))
             ((Q2 1) (1 R Q2))
             ((Q3 1) (1 L Q3))
             ((Q1 B) (B R Q0))
             ((Q2 B) (0 L Q3))
             ((Q3 B) (B R Q0)) 
))
(SETQ ENTRADA '(B 0 0 0 0 0 0 0 0 1))
(SETQ ESTADO_INICIAL Q1)
(SETQ POSICION_INICIAL_CINTA 0)
(SETQ SIMBOLOS '(0 1 B) )