Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr 오토마타 및 형식언어 김 현 성 Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr.

Presentation on theme: "Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr 오토마타 및 형식언어 김 현 성 Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr."— Presentation transcript:

1 Tel : 850-7288 Office : 2공학관 408호 E-mail : kim@kiu.ac.kr
오토마타 및 형식언어 김 현 성 Tel : Office : 2공학관 408호

2 교재 및 참고문헌 교재 형식언어와 오토마타(An Introduction to Formal Languages and Automata, Peter Linz) 장직현 외 3명 공저 사이텍미디어 참고문헌 오토마타와 형식언어, 김철언 오토마타와 계산이론, 김대수 형식언어와 오토마타론, 신영길 외

3 취업자 과제물 1장에서 10장까지 각 장당 A4 2페이지를 손으로 정리하여 제출 제출기한 : 기말고사 끝나기 전까지
제출방법 : 우편제출 or 직접 방문 제출

4 사람의 언어 1더하기 2는 뭐야? 뭐라고?

5 컴퓨터의 언어 1+2=? 프로그래밍 언어 3 011

6 과목소개 Theory Application Discrete Mathematics Automata
Computation Complexity Application Programming Languages Database, Network ...

7 Background Knowledge Mathematical Preliminaries Sets Functions
Relations Graphs and Trees

8 Three Basic Concepts(1/2)
Languages Grammars Automata

9 Automata(1/2) Abstract model of a digital computer Input file Storage
Control unit Output

10 Automata(2/2) 1 q1 q0 q2 1 1

11 Three Basic Concepts(2/2)
Languages Grammars Automata

12 Grammar, Languages, Recognizer
Grammar Language Recognizer Type recursively enumerable sets Turing machine Type context-sensitive language Linear bounded automata Type context-free language Pushdown automata Type regular language Finite automata

13 Chomsky’s Language Hierarchy
Regular Languages Context-free Languages Context-sensitive Languages Unrestricted Languages

14 Applied Area Compiler Digital Design Finite Automata
lexical analysis (parser) Digital Design binary adder

15 평가 중간고사 30 % 기말고사 30% 과제물 % 과제물 : 매주 1회 정도 출석 %