The principal topics presented in this course are logic and proof, induction and recursion, discrete probability, and finite state machines Unit 1에 들어가기 앞서 코스 소개를 읽어보니 주요 주제 중 하나에 finite state machine이 있다. 어디서 들어본 것 같은 멋진 단어인데, wiki를 찬찬히 읽어보다가 Automata가 나왔다. 뭐 정규 표현식, Artificial Intelligent, Artificial Life, Generic Algorithm 같이 맛만 봤던 것들도 눈에 띄었지만, 결론은 뭔지 잘 모르겠다. 컴파일러, 알고리즘, 인공지능에 사용되는 자동 기계 정도....