12
Por que, realmente, o problema da parada é tão importante?
Não entendo por que o problema da parada é tão frequentemente usado para descartar a possibilidade de determinar se um programa é interrompido. O Wikipedia [artigo] [1] explica corretamente que uma máquina determinística com memória finita interromperá ou repetirá um estado anterior. Você pode usar o algoritmo que detecta se …