hola:
la definición de recursiva de δ ́ implica, necesariamente, la lectura completa de la entrada, tanto en el caso de una como de dos cintas; δ ́(q0, (v, w)) pert F, implica que la lectura completa de ambas cintas lleva a un estado final. si el proceso de una entrada (v,w) el AFND-2C se traba sin consumir completamente alguna de las componentes, δ ́(q0, (v, w)) está indefinida.
"la
máquina no puede cambiar de estado está "trancada" en ese estado final a
pesar de poder haber más símbolos en la otra cinta, ya que espera por
entradas de la cinta 1, que está vacía." si el autómata se "tranca", el proceso se para y rechaza la entrada si le quedan símbolos por consumir. esto no es necesariamente un problema, sino, por el contrario, un efecto buscado. en el caso del ejercicio, las aes del final de la segunda cinta se corresponden con las primeras bes de la primera: luego de que se lee una a en la primera cinta, no debe quedar nada en la segunda para que la tira sea aceptada.
saludos,
d.-