제 11장. 형식언어와 오토메타의 Hierarchy

Slides:



Advertisements
Similar presentations
프로그램이란 프로그램 생성 과정 프로젝트 생성 프로그램 실행 컴퓨터를 사용하는 이유는 무엇인가 ? – 주어진 문제를 쉽고, 빠르게 해결하기 위해서 사용한다. 컴퓨터를 사용한다는 것은 ? – 컴퓨터에 설치 혹은 저장된 프로그램을 사용하는 것이다. 문제를 해결하기 위한.
Advertisements

1. 2 차원 배열  배열은 동일한 데이터 유형으로 여러 개의 변수를 사용할 경우 같은 이 름으로 지정하여 간편하게 사용할 수 있도록 하는 것으로서 앞에서 1 차원 배열을 공부하였습니다.  2 차원 배열은 바둑판을 생각하면 되며, 1 차원 배열에서 사용하는 첨자를 2.
제 3 호 농촌 어메니티 관광개발 정보 -농어촌체험 ∙ 휴양마을 지정제도- 농 촌 진 흥 청 농촌자원과.
재료수치해석 HW # 박재혁.
ʹ 수학 ʹ 6학년 가 단계 ʹ 7. 비례식>3/7 비의 성질 이용하기 수업 계획 수업 활동.
Compiler Lecture Note, Inroduction to FL theory
Compiler Lecture Note, Inroduction to FL theory
수 학 5학년 2학기 1. 소수의 곱셈 > 8/8 수준별 학습하기.
2장. 프로그램의 기본 구성. 2장. 프로그램의 기본 구성 2-1"Hello, World!" 들여다 보기 /* Hello.c */ #include int main(void) { printf("Hello, World! \n"); return 0;
• 수학 • 6학년 나단계 • 7. 연비>1/9 홈 두 수의 대응 관계를 , 를 사용한 식으로 나타내기 수업활동 수업계획.
1장. 이것이 C 언어다.. 1장. 이것이 C 언어다. 프로그래밍 언어 1-1 C 언어의 개론적 이야기 한글, 엑셀, 게임 등의 프로그램을 만들 때 사용하는 언어 ‘컴퓨터 프로그래머’라는 사람들이 제작 C 언어(C++ 포함)를 가장 많이 사용함.
2. 형식언어 (Formal Language)
오토메타 형식언어 2003년도 제 2학기.
DS020 오토마타형식언어 Chapter 6. Simplification of Context-Free Grammars and Normal Forms Exercises October 16, 2003.
제 5장. Context-Free Languages
학습목표 Turing Machine의 작동원리와 일반적인 계산모형으로서의 가능성 이해
Tel : Office : 2공학관 408호 오토마타 및 형식언어 김 현 성 Tel : Office : 2공학관 408호
3강 한글 맞춤법 총칙.
Chapter 7. PUSHDOWN AUTOMATA Exercises
11장. 포인터 01_ 포인터의 기본 02_ 포인터와 Const.
Error Detection and Correction
학습목표 가장 단순한 Finite Automata를 통해 DFA와 NFA를 이해하고 그 둘의 능력이 같음을 확인한다.
Chapter 2. Finite Automata Exercises
Discrete Math II Howon Kim
Chapter 07. 기본 함수 익히기.
11장. 1차원 배열.
2. 형식언어 (Formal Language)
☻수학 ☻3-1 ☻4.나눗셈 곱셈과 나눗셈의 관계를 알아보자 수업계획 수업활동.
1.4 중첩된 한정기호 (Nested Quantifiers) 이산수학 (Discrete Mathematics)
10강. JSP 본격적으로 살펴보기-II 스크립트릿, 선언, 표현식 지시자 주석 Lecturer Kim Myoung-Ho
학습목표 CFL을 accept하는 오토메타인 pda를 이해 npda와 dpda의 차이를 compiler의 측면에서 학습
프로그래밍 개요
5. Context-free 문법 5-1. 서 론 5-2. 유도와 유도 트리 5-3. CFG표기법.
제 4 장. Regular Language의 특성
학습목표 Pumping Lemma와 Closure 특성을 통해 CFL와 Language Family간의 관계 이해
27장. 모듈화 프로그래밍.
Java의 정석 제 5 장 배 열 Java 정석 남궁성 강의 의
Term Projects 다음에 주어진 2개중에서 한 개를 선택하여 문제를 해결하시오. 기한: 중간 보고서: 5/30 (5)
수학10-나 1학년 2학기 Ⅳ.삼각함수 1. 사인법칙과 코사인법칙 (11/12) 삼각함수 수업계획 수업활동.
Discrete Math II Howon Kim
수학 3 수준 14단원 : 임의의 단위로 길이 재기 임의의 단위로 길이 재기.
수학10-나 1학년 2학기 Ⅰ. 도형의 방정식 2. 직선의 방정식 (9/24) 점과 직선 사이의 거리 수업계획 수업활동.
표지 수학8-나 2학년 2학기  Ⅲ.도형의 닮음 (4) 삼각형의 중점연결정리 (13/21) 삼각형의 중점연결정리.
2nd day Indexing and Slicing
수학10-나 1학년 2학기 Ⅱ.부등식의 영역 2. 연립부등식의 영역 (3/5) 부등식 영역 수업계획 수업활동.
수학10-나 1학년 2학기 Ⅱ.부등식의 영역 1. 부등식의 영역(2/5) 부등식 영역 수업계획 수업활동.
Chapter 5. Context-Free Language Exercises
수학10-나 1학년 2학기 Ⅰ. 도형의 방정식 1. 평면좌표 (2~3/24) 선분의 내분점과 외분점 수업계획 수업활동.
약식 진리표를 이용한 타당성 증명 진리표 그리기 방법의 한계
종이비행기가 잘 날기 위한 조건 만든이:김윤성.
삼각형의 무게중심(1) 수학 8나 대한 109쪽 Ⅲ. 도형의 닮음
제12장. Algorithmic Computation의 한계
4장. 데이터 표현 방식의 이해. 4장. 데이터 표현 방식의 이해 4-1 컴퓨터의 데이터 표현 진법에 대한 이해 n 진수 표현 방식 : n개의 문자를 이용해서 데이터를 표현 그림 4-1.
7주차: Functions and Arrays
제 8장. 클래스의 활용 학기 프로그래밍언어및실습 (C++).
여러 가지 집의 같은 점과 다른 점 비교하기 슬기로운 생활 2학년 1학기
쉽게 배우는 알고리즘 2장. 점화식과 점근적 복잡도 분석
수학10-나 1학년 2학기 Ⅰ. 도형의 방정식 4. 도형의 이동 (20/24) 도형의 평행이동 수업계획 수업활동.
제 3장. Regular Languages 와 Regular Grammars
.Net FrameWork for Web2.0 한석수
- 수학 - 5학년 나 단계 - 3. 도형의 합동 > (7) 7. 수준별 학습 수업 계획 수업 활동.
Chapter 1. 이산수학의 개요.
1장 C 언어의 개요 C 언어의 역사와 기원 C 언어의 특징 프로그램 과정 C 프로그램 구조 C 프로그램 예제.
제 29 강 스트링(string) 다루기 s a i s . s T i h t g r i n.
어서와 C언어는 처음이지 제21장.
수학10-나 1학년 2학기 Ⅱ.부등식의 영역 3. 부등식의 영역에서 최대, 최소(5/5) 부등식 영역 수업계획 수업활동.
제10장. Other Models of TM’s 학습목표
수학 2 학년 1 학기 문자와 식 > 미지수가 2개인 연립방정식 ( 3 / 4 ) 대입법으로 풀기.
(Permutations and Combinations)
Report #2 (기한: 3/16) 데이터 구조 과목의 수강생이 50명이라고 가정한다. 이 학생(학번은 2016????으로 표현됨)들의 중간 시험(0~100), 기말 시험(0~100) 성적을 성적 파일에 작성하라(프로그램을 통해서 또는 수작업으로). 성적 파일을 읽어들여서.
Presentation transcript:

제 11장. 형식언어와 오토메타의 Hierarchy 학습목표 TM과 연관된 형식언어/문법에 대해 알아보고 언어 사이의 포함관계를 총정리 해본다 개념적인 내용의 비중이 커집니다. 세부사항 보다도 전체적인 관계와 흐름에 주의를 기울입시다.

cf) valid only for L-{λ} 개요 CFL에서와 마찬가지로 편의상 Empty string이 없는 언어를 가정 합니다 cf) valid only for L-{λ} Recursive and Recursively Enumerable Languages Unrestricted Grammars Context-Sensitive Grammars and Languages The Chomsky Hierarchy TM이 accept하는 언어와 그 언어를 생성하는 문법 Linear Bounded Automata와 연관된 문법과 언어

Recursive Recursively Enumerable Languages Def 1 Def 2  비슷해 보이지만 그 차이를 명확히 이해할 것

Enumeration Procedure enumeration procedure for recursive language L r.e language를 위해서는 열거하는 방법에 좀 신경을 써야… 순서 다르게 p. 277 처럼 M이 생성된 스트링을 한 스텝씩만 처리  Halt하지 않는 스트링 때문에 진전되지 않는 문제해결 결론: enumeration procedure가 존재하는 언어는 recursively enumerable

① Recursively enumerable 하지 않은 언어의 존재여부 실제 보이기 어려운 개념적인 언어이므로 수학의 힘을 빌려 개념적으로 이해합니다 실제 예들 ① Recursively enumerable 하지 않은 언어의 존재여부 Thm S : infinite countable set → 2 s : not countable pf) t1 1 t2 1 t3 0 . diagonalization (fewer TM than lang.  r.e.하지 않은 언어가 존재) Thm for Σ . ∃ lang. not r. e. ② Recursive enumerable 하지 않은 언어의 예 Thm ∃ a r.e. L whose complement is not r.e. ③ Recursive 이지만 recursively enumerable 하지는 않은 언어도 존재함

Homework : Exercises 11.1 7 : 답은 Yes이고, 6번의 해답을 이용해볼 것. 10 : 이것도 답은 Yes인데… nondeterminism을 이해하면 쉽게 해결가능.

Unrestricted Grammars Recursively Enumerable언어를 생성하는 문법 Def 아무런 제약이 없는 문법 Thm 11.6 (→) systematic enumeration S ⇒ w S ⇒ x⇒ w Unrestricted Grammar로부터 한 스텝에 얻어지는 스트링, 두 스텝에 얻어지는 스트링, … 결국 체계적으로 enumeration 할 수 있으므로 r.e. 언어 생성 가능

Unrestricted Grammars : 증명(1) 역으로 r.e. 언어를 생성하는 문법이 unrestricted grammar임을 보입시다 Unrestricted Grammars : 증명(1) Thm 11.6-1 (←) T.M. by U.G. produce G L(G) = L(M) TM의 작동을 UG로 흉내내기 ? 2 copies of w by Vab & Vaib ∀ a, b, i 시작부터 w를 두개 갖고 acceptance를 따진다!  변수로 표현 ① S → V□□S | SV□□ | T T → TVaa | Va0a ∀ a ∈ Σ  일단 q0w를 만든다. ② VaicVpq → VadVpjq for δ(qi, c)=(qj, d, R) VpqVaic → VpjqVad for δ(qi, c)=(qj, d, L)  V의 처음 indices는 copy해둔 w임을 이해할 것.

Unrestricted Grammars : 증명(2) ③ Vajb → a cVab → ca Vabc → ac □ → λ Accept를 확인하면 복사해둔 w를 출력하기 위해 변수의 처음 index를 출력한다. 예) ①번 규칙을 사용하여 초기 스트링 q0aa□를 생성 ②번 규칙을 사용하여 TM을 흉내내고 ③번 규칙으로 원래 w를 출력  변수들의 첫 index는 초기 w를 기억!

Unrestricted Grammars : 총정리  Unrestricted grammar로 생성되는 언어는 recursively enumerable언어!

Homework : Exercises 11.2 1 : 답도 있고 하니 잘~ 풀어볼 것. 6 : 좀 tedious한 맛은 있지만, 이 절에서 배운 constructive한 메커니즘을 제대로 이해하기 위해서 한번 풀어볼 것.

Context-Sensitive G & L UG와 CFG 사이의 다양한 문법 중에서 LBA와 연관된 문법에 대해 검토 properties noncontracting why context-sensitive ? xAy → xvy A의 좌우에 x와 y가 있을때 A를 v로 규칙적용

CSL and Linear Bounded Automata  CFL는 CSL의 proper subset 이구나!

CSL and LBA : 증명 pf. Show that derivations in CSG can be simulated by LBA two tracks : input string w + sentential forms derived using G possible sentential form | w | LBA is nondeterministic  올바른 production을 늘 guess할 수 있다 Thm 11.6의 과정을 초기 w의 길이만큼만 사용해서 할 수 있다 LBA로 할 수 있다!

Recursive 언어와 CSL의 관계 pf. CSG : noncontracting → ∃membership algorithm check all derivations of length up-to |w|m(|w|)  LBA가 TM보다 덜 강력하다!

Homework : Exercises 11.3 일반적으로 CF가 아닌 언어의 CSG를 구하는 것은 매우 어려운 문제 이기 때문에 대부분의 문제를 쉽게 해결할 수는 없다. 그 중에서 가장 쉬운 1 (a)와 1 (b)를 한번 시도해 볼 것.

Chomsky Hierarchy 다양한 형식언어의 포함관계 이해 LRE (Type 0) LCS (Type 1) LCF (Type 2) LREG (Type 3) LREC LDCF LCF LLIN LDCF LREG TM이 할 수 있는 능력에 대해서 알아보았는데, 다음 주에는 마지막으로 TM이 할 수 없는 일은 무엇인지 살펴보고, 계산이론으로의 도입을 시도합니다.