구문 정의 형식주의

구문 정의 형식주의(SDF)는 문맥이 없는 문법, 즉 형식 언어를 설명하는 형식적인 방법을 정의하기 위해 사용되는 메타시ntax이다.문맥이 없는 전체 문법 범위를 표현할 수 있다.현재 버전은 SDF3이다.^[1]SDF 사양을 위한 파서 및 파서 생성기는 무료 ASF+SDF 메타 환경의 일부로 제공된다.이들은 SGLR(Scannerless GLR 파서)를 사용하여 작동한다.SDF 파서는 파스 트리를 출력하거나 모호한 경우 파스 포리스트를 출력한다.

개요

SDF의 특징:

• 전체 범위의 상황 없는 언어 지원
• 모듈식 구문 정의(그래머가 하위 그래머를 가져올 수 있음)를 허용하여 재사용 가능
• 주석 지원

예

SDF2에서 단순 부울식 구문을 정의하는 예는 다음과 같다.

모듈 basic/Booleans exports Boolean context-free start-mbols boolean context-free 구문 "true" -> Boolean "false" -> Boolean lhs:부울 " " rhs:부울 -> 부울 {left} lhs:부울 "&" rhs:부울 -> 부울 {left} "not" "("부울 ")" -> 부울 ("부울 "&" 부울 "&" 부울 "&" 부울" > 부울 "부울 -> 부울

SDF를 이용한 프로그램 분석 및 변환 시스템

• ASF+SDF 메타 환경 제공
• 라스칼MPL
• Spoofax/IMP [1]
• 전략/Xt
• 스트라푼스키

참고 항목

• GNU 들소
• ANTLR

참조

추가 읽기

• SDF, 비서, J. & Scheerder, J. (2000) CWI에 대한 빠른 소개
• 구문 정의 형식주의 SDF, 마크 판덴 브랜드, 폴 클린트, 쥐겐 빈주(2007) CWI

외부 링크

• 문법 배포 키트
• SdfMetz가 SDF 그래머에 대한 메트릭 계산
• ASF+SDF 메타 환경 홈페이지에서 SDF 다운로드