hola:
existen varias formas de modelar la máquina no sólo para las que calculan funciones. por ejemplo, en algunos modelos la máquina normal para reconocer tiras tiene un estado final de aceptación y otro de rechazo.
por lo general lo que se pide en este curso cuando se habla de MT como calculadoras de funciones es que únicamente quede la salida en la cinta, esto es, la salida de la función rodeada de infinitos blancos (tu primera opción).
saludos,
d.-