Ist das Halteproblem für reine Programme auf einem idealen Computer entscheidbar?
Es ist ziemlich einfach zu verstehen, warum das Problem des Anhaltens für unreine Programme (dh Programme mit E / A und / oder Zuständen, die vom maschinenglobalen Zustand abhängen) nicht entschieden werden kann. aber intuitiv scheint es, dass das Anhalten eines reinen Programms auf einem idealen...