L-속성 문법

이 글은 검증을 위해 추가 인용문이 필요합니다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선하는 데 도움을 주십시오. 조달되지 않은 자재는 제거될 수 있습니다.출처 : "L-attribute 문법"– 뉴스 · 신문 · 서적 · 학자 · JSTOR (2020년 7월) (이 템플릿 메시지 삭제 방법 및 삭제 시기 확인)

L 속성 문법은 속성 ^[1]문법의 특별한 유형입니다.이를 통해 추상 구문 트리의 깊이 첫 번째 왼쪽에서 오른쪽으로 트래버설에서 속성을 평가할 수 있습니다.이것에 의해, L속성의 문법에서의 속성 평가를 톱 다운 파싱에 용이하게 짜넣을 수 있다.

A ${\displaystyle \to }$ ${\displaystyle {X\mathrm{}}_{}{}_{}}$ ,${\displaystyle {}_{}{X\mathrm{}}_{}}$ 2${\displaystyle }$, ${\displaystyle ...}$, ${\displaystyle X_{}}$ n \ $displaystyle$ A \ $rightarrow X$_ {1} ,$X_{2$} , \ $dots$, X_${n$} 의$$ $오른쪽$에 있는 X$$ { $displaystyle X_{j}$ 의$$ $각{\displaystyle {}_{}}$ Atribute가 다음에만 의존하는 경우 구문 지정 정의가 L-attribute 됩니다.

1. $기호{\displaystyle {}_{}}$ ${\displaystyle {X1\mathrm{}}_{}}$ ${\displaystyle {X2\mathrm{}}_{}\dots ,}$ ${\displaystyle X_{}}$j -$$({$displaystyle X_{1}, X_{2},\dots,X_{j-1})$의 속성
2. $A의$상속된 속성$(종합$ 속성은 아님)$$

모든 S 속성 구문 지정 정의도 L 속성입니다.

L 속성 정의를 Bottom-Up 파서로 구현하려면 L 속성 정의를 변환 방식에 다시 써야 합니다.

많은 프로그래밍 언어가 L-Attribute입니다.특수한 유형의 컴파일러인 좁은 컴파일러는 어떤 형태의 L 속성 문법에 기초합니다.이것들은 엄격한 S-속성 문법의 상위 집합이다.코드 합성에 사용됩니다.

$기호{\displaystyle {}_{}}$ ${\displaystyle {X1\mathrm{}}_{}}$ ${\displaystyle {X2\mathrm{}}_{}\dots ,}$ $(\$의 발생과 관련된 "상속되는 속성" 또는 "동기화된 속성" 중 하나입니다.

레퍼런스