4 C 515 2123 2720 sbchocs yonsei ac
강의진 소개 4 담당 교수 – 조성배 (공대 C 515; 2123 -2720; sbcho@cs. yonsei. ac. kr) 4 웹 페이지 : http: //sclab. yonsei. ac. kr/Courses/03 Automata 4 강의 시간(장소) : 월 4, 5 목 5 (C 040) 4 면담 시간 : 월 7, 8 4 실습시간 : 금 11 (A 222, A 417, A 505, A 542) 4 담당 조교 – – – 박찬호(cpark@sclab. yonsei. ac. kr) : 4803 김경민(kminkim@sclab. yonsei. ac. kr) : 3877 구자민(icicle@sclab. yonsei. ac. kr) 유시호(bonanza@candy. yonsei. ac. kr) 민현정(solusea@sclab. yonsei. ac. kr)
뭘 배우나? a b c aaba a aaba . . M G 언어 발생 모델: 문법 (Models of Language Generation: Grammars) 언어 인식 모델: 계산기 (Models of Language Recognition: Machines)
구체적으로 뭘 배우나? Automata Formal Language Grammar Finite automata Regular language Regular grammar Pushdown automata Context free language Linear bounded automata Turing machine Context free grammar Context sensitive language Recursively enumerable language Unrestricted grammar Chomsky Hierarchy 계산이론
진짜로 뭘 배우나? Computer Science Theory Practical discipline Concepts & Principles Applications (digital design, PL, Compiler, OS, PR, AI, …) Fun Abstract model with simple notations o Alphabet o Strings : finite sequence of symbols from alphabet o Language : a subset of alphabet set
어디에 쓰이는 물건인고? 0/ - block Running R 1/ 0 dispatch 1/ 0 0/ 0 timer run out 1 2 Ready Blocked wakeup 0/ 1 (a) 회로이론(switching circuits): state diagram c (b) 운영체제(operating systems) : process state transition stmt c not (c or u) [c] if u c start [cu] not (c or p) E 1 then if stmt expr p any not(c) expr E 2 then stmt else S 1 [cup] (c) Web browsing: pattern matching for “cup” (d) Compiler: constructing a parse tree stmt S 2
뭘로 배우나? 4 주교재 – P. Linz, An Introduction to Formal Languages and Automata (3 rd Ed), Jones and Bartlett Publishers, 2001 – P. Linz, An Introduction to Formal Languages and Automata (2 nd Ed), D. C. Heath and Company, 1996 4 참고 서적 – J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison Wesley, 1979 – J. E. Hopcroft, R. Motwani and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2 nd Ed, Addison Wesley, 2001 – D. Z. Du and K. I. Ko, Problem Solving in Automata, Languages, and Complexity, Wiley Inter-Science, 2001
어떤 순서로 배우나? 1. 9/1, 4 : 사전준비(1장) 2. 9/8 : Finite Automata (2장) 3. 9/15, 18 : Regular Languages & Grammars (3장), Program-1 4. 9/22, 25 : 정규언어의 특성(4장) 5. 9/29 : 1차 시험 6. 10/6, 9 : Context Free Languages (5장), Program-2 7. 10/13, 15 : Context Free 문법의 변환(6장) 8. 10/20~25 : 중간시험 기간 9. 10/27, 30 : Pushdown 오토메타(7장) 10. 11/3, 6 : Context Free 언어의 특성(8장) 11. 11/10 : 2차 시험, Program-3 12. 11/17, 20 : Turing Machines (9장) 13. 11/24, 27 : TM의 다양한 모델(10장), 정규언어 총정리(11장) 14. 12/1, 4 : 계산이론 소개(12장, 13장) 15. 12/8 : 3차 시험 16. 12/15~20 : 기말시험 기간
- Slides: 12