용어 정리state machines: input을 읽고 -> state를 바꿈finite state machines: 유한한 개수의 상태를 가진 state machine들DFA: the finite state machine that either accepts or rejects a sequence of characters by running through a sequence of states is called DFA (e.g 신호등이 GYRG를 읽을때 가능한지 아닌지 보고 accept or reject) 예시1. 신호등 (transition 기준: 시간)2. string -> integer converter `string-to-integer-atoi`