문맥없는 문법에 매개 변수를 추가하면 무엇을 얻을 수 있습니까?

나는 indendation에 민감한 언어에 대한 문법을 ​​생각하고 있었고 CF 문법이 매개 변수와 결합되면 트릭을 수행하는 것처럼 보입니다. 예를 들어, ANTLR과 유사한 형식의 단순화 된 Python 문법에 대해이 단편을 고려하십시오.

// on top-level the statements have empty indent
program  
    : statement('')+
    ;

// let's consider only one compound statement and one simple statement for now
statement(indent) 
    : ifStatement(indent)
    | passStatement(indent)
    ;

passStatement(indent)
    : indent 'pass' NEWLINE
    ;

// statements under if must have current indent plus 4 spaces
ifStatement(indent)
    : indent 'if' expression ':' NEWLINE (statement(indent '    ')+)
    ;

내 질문 : 이런 종류의 문법 (매개 변수가있는 CFG)에 이름이 있습니까?

이 문법에 대해 재귀 강하 파서를 작성하는 것이 어렵지 않은 것으로 보입니다 (매개 변수는 기본적으로 파서이어야 함). 이 접근법의 어려움은 무엇입니까?

매개 변수를 추가하면 지원되는 언어 클래스가 컨텍스트없이 증가합니까?

저명한 문법 (매개 변수가없는 문맥없는 문법)은 저명한 네덜란드 컴퓨터 과학자 Cornelis HA Koster에 의해 광범위하게 연구되었으며, 그의 1962 년 논문 "영어의 일부를위한 생성 문법", LGLT Meertens와 공동으로 작성되었습니다. 1970 년에 그는 개념의 형식주의를 만들었다. 유용한 개요는 1971 년 논문 "Affix Grammars for Programming Languages"에서 확인할 수 있으며, Citeseer 에서 찾은 버전입니다 .

이 논문에서 Koster는 그의 형식주의 (및 다른 유사한 것)를 Van Wijngaarden 2 단계 문법 과 비교하여 그것들이 매우 유사하다는 것을 발견했습니다.

구문 분석 기술에 대한 Dick Grune의 주석이 달린 주석 서지 목록 에는 접두어 문법 및 기타 비 Chomskyian 형식에 대한 많은 유용한 참고 문헌이 포함되어 있습니다. (참조 참고 문헌의 섹션 18.2.6, 다른 섹션에 유용 논문이 있기는하지만.) Grune 커버가에서 문법 간단히 부착 실무 가이드 : 구문 분석 기법의 두 번째 버전의 §15.3.2 초판 (더욱 간단하게 하향식 (및 기타) 구문 분석 기술을 쉽게 적용 할 수 있다는 사실을 언급하면서 온라인에서 볼 수 있습니다.

$a^n b^n c^n$

Algol 68 보고서의 편집자이기도 한 Koster 는 접두사 문법에 대한 그의 아이디어를 기반으로 컴파일러 설명 언어 (CDL) 의 최초 개발자였습니다 . 이 툴킷과 그 파생 상품은 몇 년 동안 생산에 사용되었습니다. Google 검색에서 찾 었으며 영구성을 보증 할 수없는 이 페이지 에는 CDL3의 설명서 및 다운로드 사이트 링크가 있습니다.

CFG의 펌핑 보조 정리를 살펴보십시오 .

문법을 봅시다

S -> A("")
A(p) -> p 
      | p '\n' A(p"*") '\n' p 

이것은 별 삼각형을 설명합니다.

*
**
***
**
*

$uvwxy$$\{uv^nwx^ny|n>0\}$$vx$

즉, 별 삼각형은 상황에 맞는 언어가 아닙니다.

또는 더 간단한 예 :

S-> B("")
B(p)-> p 'a' p 'a' p
     | B(p 'b')

$\{b^nab^nab^n | n\ge0 \}$

나는 정확하게 "파라미터는 기본적으로 파서이어야한다"라는 정의에 대한 세부 사항에 따라이 형식주의가 제시된 것을 본 적이 없다 (그런의 파싱 ​​기법 과 같은 것조차도 ). 제한없는 위상 구조 문법 (즉, 상황에 맞는 것보다 강력 함)