What is the difference between finite and infinite automata?