observe_db

SLR = Simple LR CLR = Canonical LR LALR = Look Ahead LR 파싱시 look ahead symbol을 하나만 보는 SLR(1), CLR(1), LALR(1)은 1을 생략하여 SLR, CLR, LALR로 부름 아이템 집합 구성시의 LR(0), LR(1)에서 숫자는 아이템에 포함시켜 나타낸 look ahead(예측 기호)의 갯수를 나타냄 canonical LR 파싱 테이블 구성 예측기호 포함 적합하지 않은 reduce를 위해 더 많은 정보 포함 두번째 요소로서 단말 기호 포함 [A->α●,a] 입력기호 a가 올 경우만 reduce 수행 a는 FOLLOW(A)의 부분집합 Closure(I), LR(1) 아이템 집합의 구성 I에 있는 모든 아이템을 closure(i)에 넣..

5/19 SLR 파싱 테이블의 구성 LR(0) 아이템 문법 G의 생성규칙 오른쪽 임의의 위치에 점이 찍혀 있는 규칙 점은 진행의 정도를 나타낸다. SLR 방법의 중심 개념 바이어블 프리픽스를 인식하는 결정 유한 오토마톤(DFA) 구성 아이템들은 SLR파서의 상태에 해당하는 집합 NFA의 상태에 해당 부분집합구성 방법으로 아이템들을 함께 묶음. Closure 연산 Closure(I): 아이템 집합의 구성 I에 있는 모든 아이템을 closure(I)에 넣는다. A->a●Bβ가 closure(I)에 속해있고 B->γ가 closure(I)에 없을 경우 Goto 연산 goto(I, X): I는 아이템 집합. X는 문법기호 goto(I, X)는 A->a●Bβ가 I에 있을 때 모든 아이템 A->aX●β의 closur..

보호되어 있는 글입니다.

5/12 5/18 인식기(Recognizer): 입력으로 string을 받아 그 언어의 문장이면 "YES", 아니면 "NO"를 출력하는 프로그램 튜링머신(type0)-A에 선형 종속(type1)-푸시다운 오토마타(type2)-유한 오토마타(type3) 유한 오토마타(Finite Automata. FA) 알파벳Σ에 대한 유한 오토마타 M = (Q,Σ, δ, q0, F) Q: state의 유한 집합 Σ: 입력 알파벳의 유한 집합 δ: 사상함수 q0 ∈Q: 시작 상태 F ⊆Q: 종결 상태의 집합 사상함수 δ: Q * Σ-> 2^Q ex) δ(q, a) = {p1, p2...pn} 결정적 유한 오토마타(DFA) 결정적이다 - δ(q, a)가 한상태 만을 갖는 경우 - δ(q, a) = {p} 대신에 "δ(q, ..