RESTA.MT

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