1. 이해하고 요약을 쓰기, 두 번째 장을 소면.
2.1 문법은 문법 형식으로 알려진 기술 언어 구조 규칙의 정의 및 언어의 구조를 설명한다.
2.2 알파벳 : 알파벳은 알파벳 기호 세트로 지칭되는 심볼 알파벳 요소라고 소자 비공 유한 집합이다. 전통적인 기호 알파벳 문자, 숫자, 문장 부호 및 기타 다양한 사업자.
기호 문자열 : 어떤 기호 문자열과 가난한 순서로 구성 기호 알파벳입니다. 조성물을 포함하는 알파벳 A = {A, B, C} 알파벳의 심볼 문자열 {AB, AC, BC, ABC, A, B, C}. X | | m = m 심볼 X의 심볼 문자열이있는 경우는 다음과 같이 표현되고, 길이 m이라고한다. 널 심볼 스트링, 즉, 즉 ε-0의 길이로 나타낸 기호 중 어느 심볼 열을 포함하지 않는 허용 | ε | = 0.
심볼 스트링 동작 : ① 접속 심볼 스트링 : εx = xε = X;
제품의 ② 세트 : AB = {XY | x∈A, y∈B은} {ε}는 A는 = A {ε} = A;
③ 심볼 스트링 지수 : X = ABC, X ^ 2 = ABCABC;
④ 지수 세트 : 0 = X ^ E, X = X ^ 1, ..... (파워 초등 수학 일관성)
⑤와 + 긍정적 폐쇄 폐쇄 A * : A * ε = {} + ∪A
2.3 문법 : 문법은 언어의 문법 구조의 소위 규칙의 형태로 설명되어 있습니다. 상관 문법는 4 튜플 G = (P, S)으로서 표현 될 수있다 . 비어 있지 유한 세트는, 그 각 요소는 터미널 심볼이라한다;이 비어 있지 유한 집합의 각 요소는 비단 호출 인 S 특별한 비단라는 문법 인 기호를 시작, P 규칙 (α → β)가 설정된다.
2.4 0 형 문법 / 제한 문법 : α-> β 여기서 α∈ (Vn∪Vt) * 상기 적어도 하나의 비 종결 β∈ (Vn∪Vt) * 함유. 타입 1 문법 / 문맥 의존 문법 : αAβ-> αuβ, 상기 A∈Vn, α, β∈ (Vn∪Vt) * u∈ (Vn∪Vt) +.
제 2 형 문법 / 문맥 자유 문법 : A-> β 여기서 A∈Vn, β∈ (Vn∪Vt) *. 일반적으로 구문 분석에 사용.
유형 3 문법 / 일반 문법 : 일반적으로 사용되는 어휘 분석
. 나는 오른쪽 선형 문법 : 만 오른쪽을 눌러 팽창, A-> αB | α, A, B∈Vn, α∈Vt *.
. II는 선형 문법을 왼쪽 : 만 왼쪽 푸시 아웃 배포, A-> Bα | α, A, B∈Vn, α∈Vt을 *.
2.5 컨텍스트 - 프리 그래머를위한 구문 트리 문장의 유도의 기하학적 표현이다. 모든 심볼의 종료, 그것은 식별 기호 순서 때, 주어진 기호 문자열, 문법 또는 유도의 상징 문자열 구성 구문 트리의 규칙을 준수하려고 할 때 따라서 문장 문법 것을 인식 그것은 문법적인 문장이 아니다. 따라서, 그것은 또한 구문 트리 분석, 구문 분석 트리 나 트리라고했다.
2.6 문장 구조의 분석은 주어진 심볼 문자열이 문장의 문법 (또는 문장)인지 여부를 결정하는 알고리즘을 지칭한다. ① 하향식 분석 (유도 우측) : 이것은 두 가지 방법으로 분할 시작 심볼 문장 문장에서 추출 ② 상향식 분석 (가장 왼쪽 감소) 문장 또는 문장에서 감소 문자를 시작합니다.
2.6.1 구문 : 문장 어구 αAδ 비단 대해 S = *> αAδ 및 A = +> β라고 베타] 구문 트리의 서브 트리 개념 대응.
간단한 구문 트리에 대응하는 서브 트리; A => β 직접 유도된다 : 직접 문구. 각 구절은 규칙의 직접적인 오른쪽 부분이다.
손잡이 : 어구를 직접 (즉, 규칙의 우측 부분), 그리고 가지는 최 좌측, 간단한 서브 트리의 최 좌측에 해당.
모호한 문법 : 문법에 대응하는 문장 두 최 우측 (가장 왼쪽) 유도 (법령)의 이상을 포함하는 두 개의 서로 다른 구문 트리를, 존재하지 않으면, 문법이 이용 될 수있다 모호 문법 사이의 동등성은 모호성을 제거합니다. 구성 등가 명백한 문법, 그것은 우선 순위와 같은 비 형식 정의 구문의 섭취량을 증가시키는 임의의 기존 구문 문법 규칙을 변경하지 않는다.
모호한 모호한 문법과 언어 : 두 언어의 문법을 생성하는 경우와 동일한, 즉, L (G) = L (G ) 모두 동등한 문법이라고. 때로는 모호한 문법 상응하는, 명확한 문법으로 변환 할 수 있습니다. 일부 언어는, 명확한 문법을 존재하지 않는,이 언어는 모호함의 언어라고합니다.
2. 문법 PL / 0 언어를 작성하십시오. (아니면 더 나은 언어 규칙을 생각)
정수 N- <번호> => 0 | 1 | 2 ... 7 | 8 | 9
식별자 나 <식별자> → <편지> {<문자> | <수>}
식 E <식> → [+ | -] <항목> {<빼기 연산자> <용어>}
조건문은 <조건문> → 경우 <조건> 당시 <문>
할당 <입문> → <식별자> = <표현>
복합 문 <복합 문> → 시작 <문> {<문>} 단부
프로그램 <프로그램> → <블록>.
<블록> → [<상수 설명 섹션>] [<변수 설명 섹션>] [<공정 설명 섹션>] <문>
할당 <입문> → <식별자> = <표현>