4
Il problema di arresto è decidibile per i programmi puri su un computer ideale?
È abbastanza semplice capire perché il problema dell'arresto è indecidibile per i programmi impuri (cioè quelli che hanno I / O e / o stati dipendenti dallo stato macchina-globale); ma intuitivamente, sembra che l'arresto di un programma puro su un computer ideale sia determinabile, ad esempio, dall'analisi statica. È davvero …