4
O problema da parada é decidível para programas puros em um computador ideal?
É bastante simples entender por que o problema da parada é indecidível para programas impuros (ou seja, aqueles que têm E / S e / ou estados dependentes do estado global da máquina); mas intuitivamente, parece que a interrupção de um programa puro em um computador ideal seria decidida por, …