ADD2.MT

;********************** ADD2.MT  ***************************
(SETQ FUNCION_DE_TRANSICION '(((Q1 B) (B R Q2))
	     ((Q2 0) (0 R Q2))
	     ((Q2 1) (1 R Q2))
	     ((Q2 B) (1 R Q3))
	     ((Q3 B) (1 R Q4))
))
(SETQ ENTRADA '(B 1 1 0 1 B))
(SETQ ESTADO_INICIAL Q1)
(SETQ POSICION_INICIAL_CINTA 0)
(SETQ SIMBOLOS '(B 1 0) )