구문 지향 번역

Syntax-directed translation

구문 지향 번역은 소스 언어 변환이 파서에 의해 완전히 구동되는 컴파일러 구현 방식을 말합니다.

구문 지향 변환의 일반적인 방법은 [1]문법의 각 규칙에 이러한 동작을 하나씩 부가함으로써 문자열을 일련의 동작으로 변환하는 것입니다.따라서 문법의 문자열을 해석하면 일련의 규칙응용 프로그램이 생성됩니다.SDT는 이러한 구문에 의미를 부가하는 간단한 방법을 제공합니다.

개요

구문 지향 번역은 기본적으로 문맥이 없는 문법으로 작업에 작업을 추가하여 구문 지향 정의([2]SDD)를 생성합니다.조치란 해당 생산이 파생상품에 사용될 때 수행되는 단계 또는 절차이다.실행할 액션을 포함한 문법 사양은 구문 지향 번역[1] 스킴(간단히 '번역 스킴'이라고 불립니다)이라고 불립니다.

문법의 각 기호는 기호와 관련된 값인 속성을 가질 수 있습니다.일반적인 속성에는 변수 유형, 식 값 등이 포함될 수 있습니다.기호 X와 속성 t를 지정하면 해당 속성은 X.t라고 불립니다.

따라서, 동작과 속성이 주어지면, 문법은 동작을 적용하고 각 기호의 속성을 통해 정보를 전달함으로써 언어에서 문자열을 번역하는 데 사용될 수 있습니다.

메타 컴파일러

초기 메타 컴파일러에서는 구문 기반 및 구문 지향 변환이라는 용어를 설명에 사용합니다.코드 출력을 위한 메타프로그래밍 언어 기능이 있습니다.

메타 컴파일러, META II 및 TREY-META를 참조하십시오.

「 」를 참조해 주세요.

레퍼런스

  1. ^ a b Gurari, Eitan M. "Syntax-Directed Translation Schemes (SDTS's)". Archived from the original on 28 July 2012.
  2. ^ 아호, 알프레드 5세.컴파일러: 원칙, 기술 및 도구.보스턴: Pearson/Addison Wesley, 2007.