Generador de cadenas: a^n b^2n a^n

MT "Multicabezal" Contador de bloques de 0's

MT multicabezal de los Divisores

Ampliable.

Diario del 7 al 14 de abril

Durante esta semana nos reunimos el lunes despues de clase de Teoria de Automatas y Lenguajes Formales, en la sala de estudio de nuestra facultad, el primer dia lo dedicamos completamente a exponer ideas sobre como realizar la maquina de los divisores, tanto la normal como la multicabezal, e hicimos un boceto sobre como implementar la maquina de turing. Luego quedamos el jueves, para realizar las tablas ya finalizadas.

MT "normal" Contador de bloques de 0's

MT' "normal" divisores

N^2

Entregable 1

Multiplicacion

F	0	1	B	X	$
Q0	(q0,0,R)	(q0,1,R)	(q1,$,L)
Q1	(q1,0,L)	(q1,1,L)	(q2,B,R)
Q2	(q3,B,R)	(q7,B,R)
Q3	(q3,0,R)	(q4,1,R)
Q4	(q5,X,R)	(q1,1,L)		(q4,0,L)	(q4,$,L)
Q5	(q5,0,R)	(q2,1,L)	(q6,0,L)		(q5,$,R
Q6	(q6,0,L)			(q4,X,R)	(q6,$,L)
Q7	(q7,B,R)				(q8,B,R)
Q8

DIVISION

F	0	1	B	X	$
Q0	(q0,0,R)	(q0,1,R)	(q1,B,R)	(q0,X,R)	(q4,$,L)
Q1	(q2,$,L)
Q2	(q2,0,L)	(q2,1,L)	(q3,B,R)
Q3	(q0,B,R)
Q4	(q4,0,L)	(q5,1,R)
Q5	(q2,X,L)			(q5,X,R)	(q6,$,R)
Q6			(q6,0,L)		(q7,$,L)
Q7		(q8,1,L)		(q7,0,L)
Q8	(q2,0,L)		(q9,B,R)
Q9