PCs aren't infinite either, but that doesn't help compilers prove halting / non-halting during analysis. A few GB of memory, never mind internal and external storage, is more than enough state space to be equivalent for proof purposes.