Duda Tarea 3

[tvergara]

Hola! Creo que puede haber un error en la ayuda del enunciado. Se dice que 1 <= t <= n, sin embargo, esos no debieran ser suficientes configuraciones para mostrar una ejecución de una máquina lineal, ya que tiene n pasos en su ejecución (y por ende n+1 configuraciones). Creo que debiera ser 0 <= t <= n, y además cambiar acorde la regla del estado inicial como s(q_0, 0) .

A modo de ejemplo, si la palabra w fuera \epsilon, con 1 <= t <= n no tiene consistencia, ya que quedaría 1 <= t <= 0, y por ende no habría ninguna configuración (ni siquiera la inicial).

[juanreutter]

Ahh si, fijate que definí w como a_1,...,a_n (osea no cuento el \epsilon) entonces t esta bien, aunque las máquinas tienes razón que son un poco demasiado débiles.

Quizás tu preferirías una definición de estrictamente lineal en donde la máquina se toma |w|+1 pasos y ahí todo se puede definir para que quede bien con el \epsilon, por que ahí la máquina se tomaría un paso. Estoy de acuerdo que esa definición da máquinas más naturales, puedes usar esa si prefieres!

[juanreutter]

(igual explicité el tema de los largos en el enunciado actual)

[tvergara]

Genial, gracias!