DIFF.MT

;********************** suma.mt  ***************************
(SETQ FUNCION_DE_TRANSICION '(
	     ((Q0 0) (B R Q4))
	     ((Q0 1) (B R Q1))
	     ((Q0 2) (B R Q0))
	     ((Q1 0) (0 R Q1))
	     ((Q1 1) (1 R Q1))
	     ((Q1 2) (2 R Q2))
	     ((Q2 1) (2 L Q3))
	     ((Q2 2) (2 R Q2))
	     ((Q3 0) (0 L Q3))
	     ((Q3 1) (1 L Q3))
	     ((Q3 2) (2 L Q3))
	     ((Q3 B) (B R Q0))
	     ((Q4 0) (0 R Q4))
	     ((Q4 1) (1 R Q4))
	     ((Q4 2) (2 R Q5))
	     ((Q5 0) (2 L Q3))
	     ((Q5 2) (2 R Q5))
))
(SETQ ENTRADA '(1 0 1 2 1 0 1))
(SETQ ESTADO_INICIAL Q0)
(SETQ POSICION_INICIAL_CINTA 0)
(SETQ SIMBOLOS '(0 1 B 2) )