수업시간 및 강의실
- Class A (1164): 수요일 678 (14:00-17:00), 종합206
- Class B (1165): 목요일 123 (09:00-12:00), 종합307
- Class C (1166): 금요일 123 (09:00-12:00), 제2공학관203
평가
- 출석: 20%
- 중간고사: 30%
- 기말고사: 30%
- 과제물, 참여도 및 기타: 20%
교재
- [MS] Introduction to Theory of Computation, Anil Maheshwari and Michiel Smid, Carleton University, 2024
Download free ebook
- [L] Introduction to Formal Languages and Automata, 6th ed., Peter Linz
- [Sip] Introduction to the theory of computation, M. Sipser, PWS Publishing Company, 1997
담당교수
- 배상원
- 연구실: 8309
- 전화: 9677
- 홈페이지: 링크
- 이메일:
공지사항
- (8/27) 공지사항은 LMS를 참고하세요.
- (8/27) 중간고사 및 기말고사 날짜를 꼭 기억하세요.
- (8/27) 오토마타와계산이론(DD851) 홈페이지가 개설되었습니다.
공지사항은 수시로 확인해주세요.
과제물
제출시 주의사항
- 표지 없어도 됩니다. 첫 장에 분반(수, 목, 금), 학번, 이름 명시
- PDF파일 하나로 작성, 편집 후 LMS에 제출
- 표절 절대 금지
강의자료
- 주교재: [MS] Introduction to Theory of Computation, Anil Maheshwari and Michiel Smid, Carleton University, 2024
그 밖에 도움이 될 만한 자료
일정
| |
강의 |
관련자료 |
과제 |
| 1주 (9/2-9/4) |
과목소개 |
--- |
--- |
| 2주 (9/9-9/11) |
기본 수학 지식 |
[MS] Chap. 1, [Sip] Chap. 0 |
HW#1 게시 |
| 3주 (9/16-9/18) |
Finite Automata and Regular Languages |
[MS] Chap. 2, [Sip] Chap. 1 |
HW#1 제출 |
| 4주 (9/23-9/25) |
Finite Automata and Regular Languages |
[MS] Chap. 2, [Sip] Chap. 1 |
HW#2 게시 |
| 5주 (9/30-10/2) |
Finite Automata and Regular Languages |
[MS] Chap. 2, [Sip] Chap. 1 |
HW#2 제출
HW#3 게시 |
| 6주 (10/7-10/9) |
Finite Automata and Regular Languages |
[MS] Chap. 2, [Sip] Chap. 1 |
|
| 7주 (10/14-10/16) |
Context-Free Languages |
[MS] Chap. 3, [Sip] Chap. 2 |
HW#3 제출 |
| 8주 (10/21-10/23) |
중간고사(10/19(월) 17시) 및 중간고사 리뷰 |
|
|
| 9주 (10/28-10/30) |
Context-Free Languages |
[MS] Chap. 3, [Sip] Chap. 2 |
HW#4 게시 |
| 10주 (11/4-11/6) |
Context-Free Languages
Formal Grammars and Chomsky Hierarchy |
[MS] Chap. 3, [Sip] Chap. 2 |
|
| 11주 (11/11-11/13) |
Turing Machines |
[MS] Chap. 4, [Sip] Chap. 3 |
HW#4 제출
HW#5 게시 |
| 12주 (11/18-11/20) |
Turing Machines |
[MS] Chap. 4, [Sip] Chap. 3 |
HW#5 제출 |
| 13주 (11/25-11/27) |
Decidability and Enumerability |
[MS] Chap. 5, [Sip] Chap. 4 |
|
| 14주 (12/2-12/4) |
Decidability and Enumerability |
[MS] Chap. 5, [Sip] Chap. 4 |
|
| 15주 (12/9-12/11) |
기말고사(12/7(월) 17시) 및 기말고사 리뷰 |
|
|
일정은 변동될 수 있으며 변동될 경우 사전에 공지합니다.
|