Finiteness is intimately related to halting, somehow. Multiple stacks in a pushdown automata make it equivalent to a Turing Machine.
