FAC.MT

;********************** factorial.mt  ***************************
(SETQ FUNCION_DE_TRANSICION '(
	     ((Q0 0) (0 R Q0))
	     ((Q0 B) (1 L Q1))
	     ((Q1 0) (0 L Q1))
	     ((Q1 1) (1 L Q1))
	     ((Q1 2) (2 R Q2))
	     ((Q1 B) (B R Q2))
	     ((Q2 0) (2 R Q3))
	     ((Q2 1) (1 L Q4))
	     ((Q3 0) (0 R Q3))
	     ((Q3 1) (1 R Q3))
	     ((Q3 B) (0 L Q1))
	     ((Q4 2) (0 L Q4))
	     ((Q4 B) (B R QK))
	     ((QK 0) (B R QI))
	     ((QI 0) (0 R QI))
	     ((QI 1) (1 R QI))
	     ((QI B) (1 L QJ))

	     ((QJ 0) (0 L QJ))
	     ((QJ 1) (1 L QJ))
	     ((QJ B) (B R Q5))

	     ((Q5 0) (3 R QB))   

	     ((Q6 0) (2 R Q7))   
	     ((Q6 1) (1 L Q9))   
	     ((Q7 0) (0 R Q7))   
	     ((Q7 1) (1 R Q7))   
	     ((Q7 B) (0 L Q8))
	     ((Q8 0) (0 L Q8))   
	     ((Q8 1) (1 L Q8))   
	     ((Q8 2) (2 R Q6))  
	     ((Q9 1) (1 R QA))   
	     ((Q9 2) (0 L Q9))   
	     ((QA 0) (0 L QC))   
	     ((QB 0) (0 R QB))   
	     ((QB 1) (1 R Q6))  
	     ((QC 1) (1 L QD))   
	     ((QD 0) (0 L QE))   
	     ((QD B) (B R QF))   
	     ((QD 3) (3 L QL))
	     ((QL 3) (3 L QL))
	     ((QL B) (B R QM))
	     ((QM 3) (B R QN))
	     ((QN 3) (0 R QN))
	     ((QN 1) (1 L QN))
	     ((QN 0) (0 L QN))
	     ((QN B) (B R QO))
	     ((QO 3) (B R Q5))
	     ((QO 0) (B R QO))
	     ((QO 1) (B R QG))
	     ((QE 0) (0 L QE))   
	     ((QE B) (B R Q5))  
	     ((QE 3) (3 R Q5))
	     ((QF 1) (B R QG))   
	     ((QG 0) (B R QG))   
	     ((QH 1) (B R QH))  
))
(SETQ ENTRADA '(0 0 0))
(SETQ ESTADO_INICIAL Q0)
(SETQ POSICION_INICIAL_CINTA 0)
(SETQ SIMBOLOS '(0 1 B 2) )