La retromáquina universal de computación constante