Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr 오토마타 및 형식언어 김 현 성 Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr
교재 및 참고문헌 교재 형식언어와 오토마타(An Introduction to Formal Languages and Automata, Peter Linz) 장직현 외 3명 공저 사이텍미디어 참고문헌 오토마타와 형식언어, 김철언 오토마타와 계산이론, 김대수 형식언어와 오토마타론, 신영길 외
취업자 과제물 1장에서 10장까지 각 장당 A4 2페이지를 손으로 정리하여 제출 제출기한 : 기말고사 끝나기 전까지 제출방법 : 우편제출 or 직접 방문 제출
사람의 언어 1더하기 2는 뭐야? 뭐라고?
컴퓨터의 언어 1+2=? 100 001 010 프로그래밍 언어 3 011
과목소개 Theory Application Discrete Mathematics Automata Computation Complexity Application Programming Languages Database, Network ...
Background Knowledge Mathematical Preliminaries Sets Functions Relations Graphs and Trees
Three Basic Concepts(1/2) Languages Grammars Automata
Automata(1/2) Abstract model of a digital computer Input file Storage Control unit Output
Automata(2/2) 1 q1 q0 q2 1 1
Three Basic Concepts(2/2) Languages Grammars Automata
Grammar, Languages, Recognizer Grammar Language Recognizer Type 0 recursively enumerable sets Turing machine Type 1 context-sensitive language Linear bounded automata Type 2 context-free language Pushdown automata Type 3 regular language Finite automata
Chomsky’s Language Hierarchy Regular Languages Context-free Languages Context-sensitive Languages Unrestricted Languages
Applied Area Compiler Digital Design Finite Automata lexical analysis (parser) Digital Design binary adder
평가 중간고사 30 % 기말고사 30% 과제물 30% 과제물 : 매주 1회 정도 출석 10%