분류
컴파일러구성
[과제]컴파일러 중간 과제물
컨텐츠 정보
- 조회 10,271
본문
94 page 7번 문제
- S = aA
A = aS | bB
B = aB | b
정규표현
S = aA -----------①
A = aS + Bb -----------②
B = AB + b -----------③증명 1. 정규문법은 정규표현방정식과 동치이다.
증명 2. a(알파), b(베타)가 정규표현이고, e(엡실론)이 a가 아니면
X = aX + b
X = a*b③ aX + b 형태로 전개 되었음으로B = a*b ③번식을 이용하여 ②번을 풀이 A = aS + (a*b)B ②번식을 이용하여 ①번을 풀이
S = aA
S = a(aS + bB)
S = aaS + abB // aX + b임으로 a*b로 변환
S = aa* ab(a*b)따라서 S = aa*aba*b
유한 오토마타로 변환
정규문법으로 변환
A --> aB
B --> aB | aC
C --> bD
D --> aE
E --> aE | bF
F --> ε94 page 7번 문제
S --> bS | A
A --> aS | bB
B --> aB | b정규표현
S = bS + A -----------①
A = aS + bB -----------②
B = aB + b -----------③③ aX + b 형태로 전개 되었음으로B = a*b
② 번에 ③번 대입
A = aS + b(a*b)
= aS + ba*b① 번에 ②번 대입
S = bS + A
S = bS + aS + b(a*b)
S = (a + b)S + ba* b // aX + b임으로 a*b로 변환
S = (a + b)*ba*b유한 오토마타로 변환
(a + b)bab
정규문법으로 변환
A --> aB | aA | bA
B --> aB | bC
C --> ε관련자료
-
서명방송통신대학교 컴퓨터 과학과 단톡 https://open.kakao.com/o/gSLabj6 온라인으로 유학하는 사람들 https://ongongsa.com
댓글 0개
등록된 댓글이 없습니다.
