c语言语法规则上下文无关,是C上下文无关还是上下文相关？

下面是我的(当前)最喜欢的演示为什么解析C是(可能)

Turing-complete，因为它显示一个程序是语法正确的，当且仅当给定的整数是素数。

所以我断言C既不是上下文无关也不是上下文敏感。

如果你允许在任何生产的两边的任意符号序列，你会在Chomsky hierarchy中产生一个类型0语法(“无限制”)，这比语境敏感的语法更强大;非限制语法是图灵完成。上下文敏感(类型1)语法允许在生产的左手侧上下文的多个符号，但是相同的上下文必须出现在生产的右手侧(因此名称为“上下文敏感的”)。 [1]上下文敏感语法等同于linear-bounded Turing machines。

在示例程序中，素数计算可以由线性有界的图灵机执行，因此它不能完全证明图灵等值，但重要的是解析器需要执行计算以执行句法分析。它可以是任何可表达为模板实例化的计算，并且有充分的理由相信C模板实例化是图灵完成。参见，例如，Todd L. Veldhuizen’s 2003 paper。

无论如何，C可以由计算机解析，所以它当然可以由图灵机解析。因此，无限制语法可以识别它。实际上写这样的语法将是不切实际的，这就是为什么标准不试图这样做。 (见下文。)

某些表达的“歧义”的问题大多是一个红色的鲱鱼。首先，歧义是特定语法的特征，而不是语言。即使一种语言可以被证明没有明确的语法，如果它可以被上下文无关的语法识别，它是上下文无关的。类似地，如果它不能被上下文无关语法识别，但它可以被上下文敏感的语法识别，它是上下文敏感的。模糊不相关。

但在任何情况下，如下面的程序中的第21行(即auto b = foo< IsPrime :: typen 1();)，表达式根本不是模糊的;它们根据上下文不同地被简单地解析。在问题的最简单的表达式中，某些标识符的句法类别取决于它们是如何被声明的(例如类型和函数)，这意味着形式语言必须认识到这样的事实，即两个任意长度的字符串相同的程序是相同的(声明和使用)。这可以通过“复制”语法来建模，该语法是识别相同单词的两个连续精确副本的语法。很容易与pumping lemma证明这种语言不是上下文无关。这种语言的上下文相关语法是可能的，并且在这个问题的答案中提供了类型0语法：http://math.stackexchange.com/questions/163830/context-sensitive-grammar-for-the-copy-language。

如果一个人试图写一个上下文敏感(或不受限制)语法来解析C，它很可能填满宇宙的涂鸦。编写图灵机来解析C将是一个同样不可能的事情。即使写一个C程序也很困难，据我所知，没有一个被证明是正确的。这就是为什么标准不试图提供一个完整的正式语法，以及为什么它选择在技术英语中写一些解析规则。

什么看起来像C语言中的形式语法不是C语言的语法的完整的正式定义。它甚至不是预处理之后语言的完全正式定义，这可能更容易正式化。 (这不会是语言，但是：由标准定义的C语言包括预处理器，并且预处理器的操作是用算法描述的，因为在任何语法形式主义中都很难描述，在该部分其中描述词汇分解的标准，包括必须多次应用的规则)。

在附录A中收集了各种语法(用于词法分析的两个重叠语法，一个在预处理之前发生，另一个在必要时，之后，加上“句法”语法)

This summary of C++ syntax is intended to be an aid to comprehension. It is not an exact statement of the language. In particular, the grammar described here accepts a superset of valid C++ constructs. Disambiguation rules (6.8, 7.1, 10.2) must be applied to distinguish expressions from declarations. Further, access control, ambiguity, and type rules must be used to weed out syntactically valid but meaningless constructs.

最后，这里是承诺的程序。线21在语法上是正确的，并且仅当IsPrime是素数。否则，typen是整数而不是模板，因此typen()被解析为(typen <1)>()，其在语法上不正确，因为()不是语法有效的表达式。

template struct answer { answer(int) {} bool operator()(){return V;}};

template struct IsPrimeHelper

: IsPrimeHelper

= p, f + 2, p> {};

template struct IsPrimeHelper { using type = answer; };

template struct IsPrimeHelper { using type = answer; };

template using IsPrime = typename IsPrimeHelper::type;

template

struct X { static const int i = I; int a[i]; };

template struct foo;

template<>struct foo>{

template using typen = X;

};

template<> struct foo>{

static const int typen = 0;

};

int main() {

auto b = foo>::typen<1>(); // Syntax error if not prime

return 0;

}

[1]更技术地说，上下文相关语法中的每个生产都必须是以下形式：

αAβ& rightarrow; αγβ

其中A是非终端，α，β可能是空的语法符号序列，γ是非空序列。 (语法符号可以是终端或非终端)。

这可以读作A& rightarrow; γ仅在上下文[α，β]中。在无上下文(类型2)语法中，α和β必须为空。

原来，你也可以限制语法与“单调”的限制，其中每个生产必须是以下形式：

α& rightarrow; β其中|α| ≥|β| > 0(|α|表示“α的长度”)

有可能证明单调语法所识别的语言集与上下文敏感语法所识别的语言集完全相同，并且通常情况下，更容易基于单调语法的证明。因此，很容易看到“上下文敏感”用于表示“单调”。