Transcript 오토마타 및 형식언어 김 현성

오토마타 및 형식언어
김현성
Tel : 850-7288
Office : 2공학관 408호
E-mail : [email protected]
교재 및 참고문헌
• 교재
– 형식언어와 오토마타(An Introduction to Formal
Languages and Automata, Peter Linz)
– 장직현 외 3명 공저
– 사이텍미디어
• 참고문헌
– 오토마타와 형식언어, 김철언
– 오토마타와 계산이론, 김대수
– 형식언어와 오토마타론, 신영길 외
사람의 언어
1더하기 2는 뭐야?
뭐라고?
컴퓨터의 언어
1+2=?
3
100 001 010
프로그래밍
언어
011
과목소개
• Theory
– 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)
0
0
1
0
q0
q1
1
q2
1
Three Basic Concepts(2/2)
Languages
Grammars
Automata
Grammar, Languages,
Recognizer
Grammar
Type 0
Type 1
Language
recursively enumerable sets
context-sensitive language
Recognizer
Turing machine
Linear bounded
automata
Type 2
Type 3
context-free language
regular language
Pushdown automata
Finite automata
Chomsky’s Language Hierarchy
Regular Languages
Context-free Languages
Context-sensitive Languages
Unrestricted Languages
Applied Area
• Compiler
– Finite Automata
– lexical analysis (parser)
• Digital Design
– binary adder
평가
• 중간고사 30 %
• 기말고사 30%
• 과제물
30%
– 과제물 : 매주 1회 정도
• 출석
10%