Acabamos de terminar nuestra clase de "Construcibilidad de tiempo" en clase la semana pasada y, por el bien de nosotros, mostramos que son completamente construibles en el tiempo, es decir, existe una máquina de Turing (determinista de múltiples cintas) que para dado, se detiene después de exactamente pasos, y solo pregunté si ahora podíamos demostrar que es completamente construible en el tiempo (y siguió adelante).
No estoy seguro de cómo va la prueba, pero creo que tiene que usar la capacidad de construcción del tiempo hasta cierto punto, o alguna identidad que involucra factoriales, ya que mostramos es (totalmente) construible en el tiempo usando .
Las sugerencias también serían apreciadas, de verdad. Gracias por adelantado.