Hola!
Tengo una duda con respecto a la cantidad de pasos que recorre la máquina.
En el enunciado se define una maquina estrictamente lineal como una maquina que recorre exactamente |w| pasos y despues dicen que M es estrictamente lineal.
Podemos asumir que la máquina siempre recorrerá exactamente |w| pasos? O habría que hacer una proposición que diga que la máquina debe recorrer exactamente |w| pasos?
Gracias!
Hola! Tengo una duda con respecto a la cantidad de pasos que recorre la máquina. En el enunciado se define una maquina estrictamente lineal como una maquina que recorre exactamente |w| pasos y despues dicen que M es estrictamente lineal. Podemos asumir que la máquina siempre recorrerá exactamente |w| pasos? O habría que hacer una proposición que diga que la máquina debe recorrer exactamente |w| pasos? Gracias!