术语的定义＆＃34;句法形式＆＃34;

Question

在书＆＃34;类型和编程语言＆＃34; Benjamin C. Pierce使用概念/术语syntactic form（见图），但他没有给出明确的定义。我试图在互联网上寻找这个术语的定义，但我发现没什么好看的。

有人可以指出这个术语定义的参考书（书），还是给出定义？

语法定义的句子是syntactic form？

其他书籍中使用的术语syntactic form是多少？

syntactic form与term相同（第24页定义）？如果没有，这两个概念之间有什么区别。

Answer 1

你可能过度思考了这一点;这种语言并不是精确的。 （另一方面，t的语法是准确的。）我甚至不确定我会怎么说 - 我想我会说＆＃34;句法结构＆＃ 34;或＆＃34;句法规则＆＃34; - ;他的意思是，你可以通过识别一些模式来概括所有你需要了解的语言（然后他会列出）。

如果这本书是关于形式语言理论的，那么更准确的描述可能是＆＃34;生产＆＃34; （实际上，是生产的右侧）或者可能是＆＃34; AST节点＆＃34;，尽管我将AST节点视为从语法派生的语义单元。

由于这是一本关于语义的书，他将继续对每个syntagma应用语义（使用一个词来表示听起来应该更正式的概念）。

Answer 2

“在计算机科学中，计算机语言的语法是一组规则，用于定义被认为是该语言中正确结构化文档或片段的符号组合。” -Wikipedia。

在这种情况下，语法形式是C允许其符号的形式。 例如，在像Scheme这样的语言中，你有#t和#f为true或false，在C中你将它们表示为true和false。某些语言允许您使用1和0作为true和false。根据您使用的语言，这些值可能会有很大差异。因此，对于C，您正在研究C代表它的功能。当然，它不仅仅局限于真假。诸如表示整数或函数的方式也适用。基本上你在C中表示任何东西的方式都适用于“句法形式”。