Buenas, estaba viendo el teorico y me surgio una duda con el ejemplo dado
Segun lo que entiendo, si se pone q1 de estado final, el automata estaria mal ya que si no hay nunguna c en la primera cinta y mas de una en la segunda cinta el automata queda en un estado final, lo cual no deberia pasar.
Por ejemplo con la entrada <abbb, accc> en este caso, k=1, p=3 y t=3 por lo cual, la primera cinta deberia tener dos c pero al no tenerlas, la entrada deberia ser invalida y no quedar en un estado final pero este no es el caso.
Se consume el a de la primera cinta y pasamos a p0, luego se consume el a de la segunda cinta y pasamos a p1, consumimos la c de la segunda cinta, pasamos a q1 y a partir de ahi quedamos en q1 el cual es final.
Es posible que el ejemplo no contemplara ese caso o hay algo que no estoy entendiendo?
Gracias