오토마타 - 수학적 토대와 표기법(Automata)