UNOS.MT

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