추상 구문
Abstract syntax |
컴퓨터 과학에서, 데이터의 추상 구문은 특정 표현이나 부호화로부터 독립된 데이터 유형(추상 데이터 유형일 수도 있지만 반드시 그렇지는 않다)으로 기술되는 구조입니다.이것은 특히 컴퓨터 언어의 텍스트 표현에 사용되며, 일반적으로 추상 구문 트리로 트리 구조에 저장됩니다.데이터 구조만으로 구성된 추상 구문은 표현에 대한 정보도 포함하는 구체적인 구문과 대조됩니다.예를 들어, 구체적인 구문에는 추상 구문에 포함되지 않은 괄호(그룹화용)나 쉼표(목록용) 등의 기능이 포함되어 있습니다.이러한 기능은 구조에 내포되어 있기 때문입니다.
추상 구문은 구조가 추상적이지만 이름(식별자)이 아직 구체적이면 1차 추상 구문(FOAS)으로 분류되며 이름 자체가 추상적인 경우에는 상위 추상 구문(Fore-orderder Abstract Syntax)으로 분류됩니다.
사용하다
계산 또는 통신을 위해 구현하려면 추상 구문에서 특정 기계 표현 및 인코딩으로의 매핑을 정의해야 합니다. 이러한 매핑을 "구체 구문"(언어 구현에서) 또는 "전송 구문"(통신에서)이라고 할 수 있습니다.
컴파일러의 프로그램 내부 표현은 일반적으로 "statement", "expression" 및 "identifier"와 같은 범주의 관점에서 추상적인 구문에 의해 지정됩니다.이것은 컴파일되는 언어의 소스 구문(구체 구문)과는 무관합니다(대부분 매우 유사합니다).해석 트리는 추상 구문 트리와 비슷하지만 일반적으로 구문 트리의 구조에 내포된 괄호 등의 기능도 포함합니다.
대수 데이터 유형은 추상 구문 구현에 특히 적합합니다.
「 」를 참조해 주세요.
레퍼런스
