SUMA.MT



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