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더하기 2는 뭐야?
뭐라고?

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

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

6. Background Knowledge Mathematical Preliminaries Sets Functions
Relations
Graphs and Trees

7. Three Basic Concepts(1/2)
Languages
Grammars
Automata

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

9. Automata(2/2) 1 q1 q0 q2 1 1

10. Three Basic Concepts(2/2)
Languages
Grammars
Automata

11. 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

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

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

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