如果将参数添加到上下文无关文法中，将会得到什么？

我当时在考虑对倾向性敏感的语言的语法，如果将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语法”提供了有用的概述，我在Citeseer上找到了该版本。

在那篇论文中，Koster将他的形式主义（和另一个相似的形式）与Van Wijngaarden的二级语法进行了比较，发现它们非常相似。

迪克·格鲁内（Dick Grune）的无价注释分析技术参考书目包括大量其他有用的参考，用于词缀语法和其他非乔姆斯基式的形式主义。（书目见节18.2.6，虽然也有在其他章节有用的论文。）Grune井盖加盖语法简要解析技术的第二版的§15.3.2：实用指南（甚至更简单地在第一版（可在线获得）中提到，采用自顶向下（和其他）解析技术很容易。

除非参数的域是有限的，否则在这种情况下可以通过静态生成所有可能的生成式来生成CFG的方式将其删除，则词缀语法的类别无疑是上下文无关语法集的严格超集。（的词缀语法可以在上面的Dick Grune的“ 解析技术”参考中找到。）$a^n b^n c^n$

Koster还是Algol 68报告的编辑，基于他对词缀语法的想法，他最初是编译器描述语言（CDL）的开发者。该工具箱及其后来的衍生工具已在生产中使用了很多年。该页面是我通过Google搜索找到的，但我不能保证其永久性，它具有指向CDL3的手册和下载站点的链接。

考虑CFG的抽水问题：

接受语法

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

这描述了一个星形三角形：

*
**
***
**
*

无法将星形三角形分成 5个部分 ，使得也是星形三角形（非空）。{ u v n w x n y | n > 0 } v $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 \}$

我从未见过这种形式主义出现过（即使在类似Grune的解析技术中也是如此），具体取决于如何定义“参数基本上应该是解析器”的细节，它看起来可以映射到van Wijngaarden两级语法，它们具有与无限制的相结构语法（即比上下文敏感功能更强大，您可以编写提供所有暂停程序的VW语法）。