tc2019spring
Automata Theory (Ed.M. grad course)
교재 및 참고자료
우리말로 쓰여지거나 번역된 오토마타 책이 많지는 않기 때문에, 비교적 짧게 압축해서 내용을 담고 있는 책을 사용합니다. 절판되기도 한데다 출판사까지 없어졌기 때문에 도서관에 있는 것을 제본해서 사용합니다.
- 계산모델 : 오토마타 및 형식언어 = Models for computation : automata and formal languages (2판),
- 저자: 김삼묘, 유기영
- 출판사: 이한
- 출판년도: 2007
- ISBN: 9788982415326
- 서울대학교 MOOC 컴퓨터과학 교양강좌 중 관련 내용
강의에 활용하는 Haskell 노트북
Jupyter의 IHaskell 커널로 실행되는 노트북 자료가 계속 추가/업데이트 예정입니다. 이 노트북들은 직접 주피터와 IHaskell 커널을 설치하지 않아도 CoCalc에 무료가입하여 업로드하면 클라우드 환경에서도 실행시킬 수 있습니다.