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