분류 컴파일러구성

[과제]컴파일러 중간 과제물

컨텐츠 정보

본문

94 page 7번 문제

  1. 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

유한 오토마타로 변환

compilfe mid 1

정규문법으로 변환

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)babcompilfe mid 02

정규문법으로 변환

A --> aB | aA | bA
B --> aB | bC
C --> ε

관련자료

  • 서명
    방송통신대학교 컴퓨터 과학과 단톡 https://open.kakao.com/o/gSLabj6 온라인으로 유학하는 사람들 https://ongongsa.com
댓글 0
등록된 댓글이 없습니다.
목록
Total 2 / 1 Page
번호
제목
이름

방송통신대학교 컴퓨터 과학과 단톡

https://open.kakao.com/o/gSLabj6

최근글


새댓글


  • 댓글이 없습니다.
알림 0