section_heading: Granice hiperračunanja
paragraph_text: Čak i ovi strojevi, koji naizgled predstavljaju zamišljene granice automata, imaju svoja ograničenja. Iako svaki od njih može riješiti problem zaustavljanja za Turingov stroj, oni ne mogu riješiti svoje vlastite inačice problema zaustavljanja. Na primjer, stroj proročište ne može odgovoriti na pitanje staje li ikada dani stroj proročište.