학습목표 Pumping Lemma와 Closure 특성을 통해 CFL와 Language Family간의 관계 이해

Slides:



Advertisements
Similar presentations
CHAPTER 5 TOP-DOWN PARSING SUNG-DONG KIM, DEPT. OF COMPUTER ENGINEERING, HANSUNG UNIVERSITY.
Advertisements

10장. 시기별 학급경영 11조 염지수 이 슬 권용민 신해식.
일본 근세사. (1) 에도막부의 개창 ( ㄱ ) 세키가하라의 전투 (1600) - 히데요시의 사후 다섯 명의 다이로 ( 大老 ) 가운데 최대 영지 (250 만석 ) 를 보유하고 있던 도쿠가와 이에야스가 급부상. 이에 이에야스와 반목해 온 이시다 미쓰나리 ( 石田三成 ),
아니마 / 아니무스 송문주 조아라. 아니마 아니마란 ? 남성의 마음속에 있는 여성적 심리 경향이 인격화 한 것. 막연한 느낌이나 기분, 예견적인 육감, 비합리적인 것에 대 한 감수성, 개인적인 사랑의 능력, 자연에 대한 감정, 그리.
대구가톨릭대학교 체육교육과 06 학번 영안중학교 체육교사 신웅섭 반갑습니다. 반야월초등학교 축구부 대륜중학교 축구부 대륜고등학교 대구가톨릭대학교 차석 입학 대구가톨릭대학교 수석 졸업 2014 년 경북중등임용 체육 차석 합격 영안중학교 체육교사 근무 소개.
일장 - 1 일 24 시간 중의 명기 ( 낮 ) 의 길이 ( 밤은 암기, 낮은 명기 ) 광주기성 - 하루 중 낮의 길이의 장단에 따라 식물의 꽃눈 형성이 달라지는 현상 일장이 식물의 개화현상을 조절하는 중요한 요인 단일식물 - 단일조건에서 개화가 촉진되는 식물 장일식물.
언어의 자서전 소단원 (1) 단원. 언어의 특성 기호성 자의성 사회성 규칙성 창조성 역사성.
2 학년 6 반 1 조 고은수 구성현 권오제 김강서.  해당 언어에 본디부터 있던 말이나 그것에 기초하여 새로 만들어진 말  어떤 고장 고유의 독특한 말  Ex) 아버지, 어머니, 하늘, 땅.
현대사회와 윤리 1. 윤리학이란 무엇인가?.
직장내 성희롱, 성폭력, 성매매 예방연수.
언어와 문법 (languages, grammar)
프로젝트 학습 중간 보고서 군포초등학교부설 지역공동 영재학급 용호초등학교5학년 이창민.
2014년도 교원 및 기간제교사 성과상여금 전달교육 개 회 국기에 대한 경례 - 인사말
연 합 남 전 도 회 월 례 회 1부 예배- 찬 송 장 다같이 2011년 1월 2일 1부 예배- 찬 송 장 다같이 기 도
선진 고양교육 “유아교육 행정 업무 연수” 유치원 회계실무 및 유아학비 연수 경기도고양교육청.
행정소송 실무교육 공익법무관 문 유 식 인사 공익법무관 소개 서울고검 소개.
컴파일러 입문 제 5 장 Context-Free 문법.
사 업 계 획 2011년 제1호 - 2월 1일 2011 주 안에서 소통하며 화합하고 참여하며 헌신하는 남신도회
조선왕조의 유교정치.
묵자 겸애, 비명, 비공, 상현, 상동, 천지, 명귀, 삼표 법.
Compiler Lecture Note, Inroduction to FL theory
DS020 오토마타형식언어 Chapter 3. Regular Languages and Regular Grammars
Compiler Lecture Note, Inroduction to FL theory
“자연어처리” 소개 (Natural Language Processing)
내 아이를 위한 구강관리.
제16장 원무통계 • 분석 ☞ 통계란 특정의 사실을 일정한 기준에 의하여 숫자로 표시한 것을 말한다.통계로서 활용할 수 있는 조건으로는 ① 동질성을 지녀야 하고 ② 기준이 명확하고 ③ 계속성이 지속되어야 하며 ④ 숫자로 표시하여야 한다 경영실적의.
서울지방세무사회 부가세 교육 사진클릭-자료 다운 세무사 김재우.
치매의 예방 김 은민 윤금 노인요양원 치매의.
4장 구문(Syntax).
Procedural Modeling of Buildings
Discrete Math II Howon Kim
2. 형식언어 (Formal Language)
프로그래밍언어론 2nd edition Tucker and Noonan
오토메타 형식언어 2003년도 제 2학기.
DS020 오토마타형식언어 Chapter 6. Simplification of Context-Free Grammars and Normal Forms Exercises October 16, 2003.
제 5장. Context-Free Languages
Tel : Office : 2공학관 408호 오토마타 및 형식언어 김 현 성 Tel : Office : 2공학관 408호
Sung-Hae Jun 자연어 처리의 이해 Sung-Hae Jun
Chapter 7. PUSHDOWN AUTOMATA Exercises
피부타입과 진단.
Chapter 2. Finite Automata Exercises
Discrete Math II Howon Kim
주요 내용 형식 언어와 문법 정규식과 정규 집합 유한 상태 기계 정규 문법과 유한 상태 기계와 정규집합.
마산에 대하여 만든이 : 2204 김신우, 2202 권성헌.
1.고객맞이 상황 응대자세 화법 중점사항 매장 밖 에 서 도보 고객 고객 방향 쪽으로 바른 자세를 취한다
2. 형식언어 (Formal Language)
학습목표 CFL을 accept하는 오토메타인 pda를 이해 npda와 dpda의 차이를 compiler의 측면에서 학습
7장. 릴레이션 정규화 릴레이션 정규화 부주의한 데이터베이스 설계는 제어할 수 없는 데이터 중복을 야기하여 여러 가지 갱신 이상(update anomaly)을 유발함 어떻게 좋은 데이터베이스 설계를 할 것인가? 데이터베이스에 어떤 릴레이션들을 생성할 것인가? 각 릴레이션에.
제 4 장. Regular Language의 특성
과학 탐구 토론 대회 1학년 2반 박승원 1학년 5반 권민성.
계약서 관련 실무 계약 위반과 판례 김래균.
Discrete Math II Howon Kim
프로그래밍언어론 2nd edition Tucker and Noonan
3. 정규 언어(Regular Language)
생활 철학 인간이란 무엇인가?.
동절기 가스사고 예방 ㅇㅇㅇ 도시가스 - 가스보일러 CO중독사고 관련 (금) 동절기 CO중독 예방 및
Discrete Math II Howon Kim
제안 목적 고객성향 분석으로 매출 증대 유사업체 분석으로 신상품 홍보 원가요소 분석 및 피드백으로 원가율 관리
6장 마케팅 조사 박소현, 김중호, 박기찬.
2016 하계 현장실습 매뉴얼 ≫≫ 학생용.
Chapter 5. Context-Free Language Exercises
한밭대학교 창업경영대학원 회계정보학과 장 광 식
제12장. Algorithmic Computation의 한계
음양오행과 물리학 조 원 : 김용훈, 양범길, 박수진, 윤진희, 이경남, 박미옥, 박지선 (11조)
알파에셋 행복나무 2Star 파생상품 투자신탁 4호(LG, SK)
이야기 치료에 대하여 <8조 학문적 글쓰기 발표> 주희록 최은지
(Ⅰ) 독서와 언어의 본질 언어의 본질 1 2 [고등 국어] – 독서와 문법 독서의 본질 (1) 독서의 특성
이용기관 안내 자료 目 次 전자금융거래법 시행에 따른 전자금융법의 개요 이용기관 준비사항 담당자 안내
11장. 가족과 사회복지 윤철수 노 혁 도종수 김정진 김미숙 석말숙 김혜경 박창남 성준모 공저.
중국문학개론 한부와 겅건안문학 중어중국학과 ㅇ이진원 한부와 건안문학.
Presentation transcript:

학습목표 Pumping Lemma와 Closure 특성을 통해 CFL와 Language Family간의 관계 이해 제 8장. Context-Free 언어의 특성 학습목표 Pumping Lemma와 Closure 특성을 통해 CFL와 Language Family간의 관계 이해  Regular 언어에서의 특성과 유사점/ 상이점을 집중적으로 이해할 것

개요 언어계통에서 CFL의 위상을 점검해 봅시다 Regular deterministic CFL CFL context sensitive 2 pumping lemmas Closure properties and decision algorithms for CFL

Two Pumping Lemmas CFL를 위한 펌핑 렘마를 다시 정의해 봅시다 Thm 8.1  Regular 언어의 경우와 비교해 보면 뭐가 다른가요?

Pumping Lemma : 증명 Pf L-{λ} without unit-productions / λ-productions |derivation| ≥ |w| / k L: infinite, G: finite → some variables repeat s A x v y u z m 유한개의 심볼로 무한한 스트링을 표현하자니 트리중에 반복되는 부분이 있을 수밖에…

Pumping Lemma : 예1 ex 1)

Pumping Lemma : 예2 ex 2) m a...ab...ba...ab...b u v x y z ex 3) Regular 언어의 펌핑렘마와 동일하게 증명 (p. 119) RL < CFL

Pumping Lemma : 예3 a...a...a...ab...b...b...b ex 4) u v x y z m2 m k1

또 다른 Pumping Lemma : Linear CFL Def 8.1 cf) linear grammar : at most one variable on right side of production ex)

또 다른 Pumping Lemma : 정리 Thm 8.2 cf) left or right ends of w to be pumped

또 다른 Pumping Lemma : 예 ex) linear context-free

2 Pumping Lemmas : Exercises 8.1 * Regular언어를 위한 pumping lemma에 비해 CFL의 pumping lemma는 상대방의 choice가 훨씬 복잡하다는 점을 제외하고는 동일하게 적용할 수 있다! - 7 (b), (d), (e) : Pumping lemma를 사용한 CFL가 아님을 보이는 좋은 예 - 11 : 복합적인 적용문제

CFL에 대한 Pumping Lemma 응용 CFL에 대한 pumping lemma를 응용할 때, regular language에 대한 pumping lemma와 다른 점에 유의할 필요가 있다. Regular language의 경우 pump 할 곳 (즉, w = xyz 내의 y) 은 선택한 string w 의 길이 n인 prefix 내에 한정되어 있다. 반면, CFL의 경우 pump 할 곳 (w = uvxyz 내의 v와 y)은 string u와 z의 길이에 제한이 없으므로 조건 |vxy|  m, 즉 넓이가 최대 m인 창(window) 이 있을 수 있는 위치이면 어디든지 가능하다. String vxy 는 w의 prefix가 될 수도 있고 suffix가 될 수도 있다. 따라서 CFL에 대한 pumping lemma를 이용하여 어떤 language L이 CFL가 아님을 증명하는 과정에서 조건을 만족할 수 없음을 보일 때, vxy가 있을 수 있는 w 상의 많은 경우를 모두 고려해야 한다. w vxy

CFL에 대한 Pumping Lemma: 증명 증명. 증명의 바탕이 되는 개념을 설명하기 위하여 간단한 예를 들기로 한다. 다음 Chomsky normal form 의 CFG를 고려하자. S  AB A  DE B  FD E  FG G  DB | g F  HG D  d H  h 이 CFG의 언어의 크기는 무한 함을 쉽게 알 수 있다. 예를 들면, rule B  FD, F  HG, G  DB 에 의하여 B가 F를 생성하고, F가 G를, 그리고 G가 다시 B를 생성하기 때문에 무한히 많은 string을 생성할 수 있다. 이 CFG 의 언어에 속한 string w = d(hd)3hg(d)3dghdghd 에 대한 parse tree를 분석하여 보자 (다음 쪽 그림 참조). Parse tree의 가장 긴 줄기에 해당하는 path label 에 반복하는 pattern F-G-B 가 있음을 알 수 있다. 이러한 반복 pattern은 grammar의 nonterminal symbol의 수가 한정되어 있는 반면, grammar가 발생하는 string의 길이가 한정되어 있지 않기 때문이다.

w = d ( h d )3 h g (d)3 d h g d h g d u v w x y S AB A DE E FG G DB | g F HG D d H h B  FD

Closure Properties of CFL (1) RL와는 달리 CFL의 경우 Closure 특성이 쉽게 만족되지 않는 경우가 많음 closed under union, concatenation and star-closure

Closure Properties of CFL (2)

Closure Properties of CFL (3) not closed under intersection and complementation · ·

Closure Properties of CFL (4) closed under regular intersection ·

Closure Properties of CFL (5)

Closure Properties of CFL : 예

Some Decidable Properties of CFL Algorithm to see if L(G) is empty - Algorithm to see if L(G) is infinite - CFL L1 = L2 ? S is useless  L(G) is empty G has repeating variables  dependency graph has cycle  L(G) is infinite No algorithm 주어진 문제를 해결할 algorithm이 없다는 것의 의미?  나중에 철저하게 검토해 봅시다

Closure Properties of CFL : Exercises 8.2 - 6 : Language Family간의 Closed 특성을 포괄적으로 이해합시다 - 10 : 간단하지만 한번 생각해서 풀어봅니다 - 19 : 답은 YES, 하지만 construction은 좀 지저분하지요…