Estoy con el tema de las máquinas con dos cinta.
No logro entender del todo la notación que emplearon en la resolución.
Les paso la que hice para ver si alguien puede corregirla y así quedarme tranquilo q me quedo claro el concepto.
[2009] [Segundo Parcial] [Ejercicio 4] [Parte a]
Número de respuestas: 3hola:
la solución planteada tiene los estados de cada cinta separados por la raya punteada: a la izquierda está la cinta uno, a la derecha, la segunda cinta.
tu autómata no es determinista (estado q2_2), por lo que ya está mal: el único modelo AF2C visto (y permitido) en el curso es determinista.
saludos,
d.-
Ok. El error en la resolución me ha quedado claro.
Diego, en cuanto a la notación una serie de dudas:
* en algunas soluciones no utilizan índices para indicar cual es la cinta y solo separan con la linea cual es cual.
* en otras, usan los superindices para determinar cual es la cinta y el subindice para determinar el estado, donde también hay al menos dos criterios:
- arranco en el estado 0 y llevo una única secuencia de estados
- arranco en el estado 0 y llevo una secuencia de estados por cinta
1) Hoy por hoy tenemos que tener en cuenta algún criterio o usamos el q nos quede mas cómodo?
2) La división punteada es obligatoria hacerla?
3) Se puede empezar con cualquiera de los cintas, o siempre arrancamos del estado inicial de la cinta 1?
Graciassss,
Enrique
hola:
1) el que les quede más cómodo, siempre que sea claro de cuál cinta lee cada estado.
2) no, en absoluto, si utilizan supraíndices.
3) el estado inicial puede leer de una cualquiera de las dos cintas.
saludos,
d.-