hola:
lo que sucede con las máquinas que emiten o leen épsilon es que, precisamente, en las condiciones de borde pueden fallar. el objetivo siempre es que la máquina funcione bien en régimen, esto es, que la tira es muy muy larga (no quiero introducir infinita, que puede traer confusión), como para que la máquina funcione bien.
en otras palabras, podrían desestimar el caso como el que presentan, en donde, al acabarse la tira, no se se tiene la salida esperada, cosa que sí sucedería si la tira tuviese un símbolo más.
saludos,
d.-