Теория автоматов, конечные автоматы