제 3장. Regular Languages 와 Regular Grammars

Slides:



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

파이썬 (Python). 1 일 : 파이썬 프로그래밍 기초 2 일 : 객체, 문자열 3 일 : 문자인코딩, 정규표현식, 옛한글 4 일 : 파일 입출력 5 일 : 함수와 모듈 6 일 : 원시 말뭉치 다루기 실습 7 일 : 주석 말뭉치 다루기 실습 8 일 : 웹 데이터로.
3 월 월 례 회 / 개원 8 주년 행사 드리겠습니다 사랑을, 만들겠습니다 기적을. 개 회부 서 별 업 무 보 고부 서 별 업 무 보 고직 장 금 연 선 포폐 회국 민 의 례 차 례 신 규 직 원 소 개 개 원 기 념 행 사 원 장 인 사공 지 사 항.
생활 속의 확률과 진실성 하안북중 1학년 서동조.
언어와 문법 (languages, grammar)
ʹ 수학 ʹ 6학년 가 단계 ʹ 7. 비례식>3/7 비의 성질 이용하기 수업 계획 수업 활동.
Compiler Lecture Note, Inroduction to FL theory
DS020 오토마타형식언어 Chapter 3. Regular Languages and Regular Grammars
Compiler Lecture Note, Inroduction to FL theory
수 학 5학년 2학기 1. 소수의 곱셈 > 8/8 수준별 학습하기.
Cellular Automata의 창발적 특성을 정성적 및 morphological 분석방법 이해
유한 오토마타 Finite Automata
Tel : Office : 2공학관 408호 오토마타 및 형식언어 김 현 성 Tel : Office : 2공학관 408호
Discrete Math II Howon Kim
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호
Chapter 7. PUSHDOWN AUTOMATA Exercises
학습목표 가장 단순한 Finite Automata를 통해 DFA와 NFA를 이해하고 그 둘의 능력이 같음을 확인한다.
Chapter 2. Finite Automata Exercises
Discrete Math II Howon Kim
3. 정규 언어(Regular Language)
2. 형식언어 (Formal Language)
☻수학 ☻3-1 ☻4.나눗셈 곱셈과 나눗셈의 관계를 알아보자 수업계획 수업활동.
별의 밝기와 거리[2] 밝다고 가까운 별은 아니야! 빛의 밝기와 거리와의 관계 별의 밝기 결정.
학습목표 CFL을 accept하는 오토메타인 pda를 이해 npda와 dpda의 차이를 compiler의 측면에서 학습
제 11장. 형식언어와 오토메타의 Hierarchy
Lesson 1 Talk & Dialogue 영어 중학교 1학년 1학기
제 4 장. Regular Language의 특성
학습목표 Pumping Lemma와 Closure 특성을 통해 CFL와 Language Family간의 관계 이해
15차시_스마트 애플리케이션 기획 스마트 애플리케이션 모형 제작 및 발표.
식물은 어떻게 자손을 남길까(1) <생각 열기> 사과, 배, 복숭아 등의 과수나무를 재배하거나
이야기를 듣고 앞뒤 내용 상상하여 말하기 말하기 듣기 4학년 1학기 2. 고운 꿈 아름답게 > 1) 이야기의 샘(1/9)
‘Chess’를 읽고 컴퓨터공학부 배상수.
Discrete Math II Howon Kim
Hello, Python! #2 <부제: 코딩은 혼자하는 것이다>
3. 정규 언어(Regular Language)
위치 에너지(2) 들어 올리기만 해도 에너지가 생겨. 탄성력에 의한 위치 에너지.
Discrete Math II Howon Kim
미 술 6 학년 3. 다양한 표현 (1~2/6) 초기화면 다양한 표현 방법 알아보기.
수학10-나 1학년 2학기 Ⅰ. 도형의 방정식 2. 직선의 방정식 (9/24) 점과 직선 사이의 거리 수업계획 수업활동.
다양한 국가의 인사말과 인사법 본 연구물은 학교 수업을 위해 개발된 것으로 교육 이외의 목적으로 사용될 수 없습니다.
수학 6학년 가단계 9.문제를 해결 하기 3/7 9 문제를 해결 하기.
과목명 : 과학 1학년 2학기 소화와 순환 > 영양소 [ 1 / 12 ] 영양소에는 어떤 것들이 있을까?
끓는점을 이용한 물질의 분리 (1) 열 받으면 누가 먼저 나올까? 증류.
01 로그의 정의 ⑴ 일 때, 양수 에 대하여 을 만족시키는 실수 는 오직 하나 존재한다. 이때 를
수학10-나 1학년 2학기 Ⅱ.부등식의 영역 2. 연립부등식의 영역 (3/5) 부등식 영역 수업계획 수업활동.
수학10-나 1학년 2학기 Ⅱ.부등식의 영역 1. 부등식의 영역(2/5) 부등식 영역 수업계획 수업활동.
Chapter 5. Context-Free Language Exercises
삼각형의 무게중심(1) 수학 8나 대한 109쪽 Ⅲ. 도형의 닮음
제12장. Algorithmic Computation의 한계
Lesson 1 Read & Think 영어 중학교 1학년 1학기
수학 10-가 단계 Ⅱ. 식과 그 연산>1.다항식>1.다항식과 그 연산> 2/11 다항식 수업계획 수업활동.
원의 방정식 원의 방정식 x축, y축에 접하는 원의 방정식 두 원의 위치 관계 공통접선 원과 직선의 위치 관계
여러 가지 집의 같은 점과 다른 점 비교하기 슬기로운 생활 2학년 1학기
쉽게 배우는 알고리즘 2장. 점화식과 점근적 복잡도 분석
강의 교안 학년-학기 과목명 의료사회사업론 주차명 7주차. 의료사회복지사의 역할 담당교수 신 상 수.
다음을 보고 이야기 해 봅시다. [제작의도] 학습 동기유발을 위한 화면이다. [활용방법]
3.여러 가지 색.
제 22 강 논리식 및 논리 값 shcho.pe.kr.
문장제 쉽게 풀기 -최소공배수 응용 문제.
미 술 5 학년 4.이야기 세상 (5-6/6) 초기화면 마술 그림을 그리고 작품 감상하기.
THE END.
- 수학 - 5학년 나 단계 - 3. 도형의 합동 > (7) 7. 수준별 학습 수업 계획 수업 활동.
• 수학 • 6학년 나단계 • 7. 연비>3/9 두 비의 관계를 연비로 나타내기 수업활동 수업계획.
제10장. Other Models of TM’s 학습목표
Presentation transcript:

제 3장. Regular Languages 와 Regular Grammars 학습목표 Finite Automata 이외에 Regular Language를 표현하는 방법으로 Regular Expression과 Regular Grammar에 대해 학습하고 3가지가 동일함을 이해한다

Concise but important practical applications 개요 Concise but important practical applications

Regular Expressions RE의 기본 정의에 대해서 알아보자 그렇다면 주어진 RE가 나타내는 언어는 무엇인가?

RE이 나타내는 언어 상식적인 간단한 정의!

RE이 나타내는 언어: 예 좀 연습이 필요합니다 반대는 어렵다 0으로 끝나는 경우 1로만 된 경우

RE: Homework (Exercises 3.1) 4 : n과 m 각각이 짝수인 경우와 홀수인 경우로 나누면… 9 : 세가지 case로 나누어서 생각해 봅시다. 14 : 쉬운 문제부터 어려운 문제로 나갑니다. 할 수 있는 만큼만. 22, 23 : 응용문제

Connection between RE and RL Generating labels of all walks from q0 to any final state λ λ a λ λ prove by induction on no. of operators

Finding NFA for L(r): 예 λ a b Regular Expressions  Regular Languages : easy!! 그 반대는 : Find RE capable of generating labels of all the walks from q0 to any final state : book keeping problem (existence of cycles) 새로운 표현법이 필요하겠군!

RE  RL: GTG 이용 (1) a+b c* a RL  GTG  변환  RE e qi qj d a q b c ce*d neither final nor initial e qi qj d a q b c ce*d qi qj ce*b ae*d ae*b

RE  RL: GTG 이용 (2) 복잡해 보이지만 단순 변환과정을 실수 없이 하는 연습이 필요함 이와 equivalent한 GTG로 변환해가면서 최종 GTG를 얻음 q0 r1 qf r4 r3 r2 prove by induction on no. of states in GTG q0 a q1 b a,b q2 ab*b q0 a+b b+ab*a q2

RE의 응용 예 state reduction

RE/RL: Homework (Exercises 3.2) 4 (a), (b) : 쉽지만 끈기를 필요로 하는 변환문제 10 : NFA로 부터 RE구하기 연습 17 : 그냥 생각만 해보고 실제로 하지는 말 것. 매우 어려운 문제!

Regular Grammars : RG RL NFA

Regular Grammars: 예 not regular

RG  RL 증명 Right-linear grammar의 derivation을 표현하는 NFA 구축 V0 V1 Vf b a

DFA  Grammar RG  RL 증명 (1) state  variable symbol  terminal

RG  RL 증명 (2)  Left-linear grammar인 경우는 어떻게 될까?

총정리 증명 RE Regular language를 표현하는 방법 DFA or NFA DFA’s, NFA’s RG 1 2 3 4 Regular language를 표현하는 방법 DFA’s, NFA’s Regular expressions Regular grammars  Power면에서 동등

RG : Homework (Exercises 3.3) 1, 2 : 가장 typical한 기계적 변환 연습 9 : left-linear grammar의 연습