Types 术语“的定义”；句法形式；

在《类型和编程语言》一书中，Benjamin C.Pierce使用了概念/术语

语法形式

（见图），但他没有给出明确的定义。我试图在互联网上寻找这个词的定义，但我发现没有什么启发

有人能指出这一术语定义的参考书吗，或者给出它的定义

语法定义的句子是一种句法形式吗

在其他哪些书中使用了术语

句法形式

语法形式
是否与
术语
相同（定义见第24页）？如果没有，这两个概念之间的区别是什么


你可能想得太多了；这种语言并不是很精确。（另一方面，
t
的语法是精确的。）我甚至不知道我会怎么说——我想我会说“句法结构”或“句法规则”；他的意思是，你所需要知道的关于语言的一切，都可以通过识别一些模式来概括（然后他列出了这些模式）

如果这本书是关于形式语言理论的，那么更精确的描述可能是“产品”（实际上是产品的右侧）或“AST节点”，尽管我认为AST节点是从语法派生的语义单元

由于这是一本关于语义学的书，他将继续对每一本书应用语义学（用一个词来表示这个概念，听起来应该更正式）。
在计算机科学中，计算机语言的语法是一组规则，用于定义被认为是该语言中结构正确的文档或片段的符号组合
-维基百科

因此，在本例中，句法形式是C允许其符号采用的形式。
例如，在类似于语言的Scheme中，用#t和#f表示true或false，其中在C中表示true和false。某些语言允许使用1和0表示true和false。值可能会因所使用的语言而异。因此，对于C，您将看到C如何表示其功能。当然，这不仅仅是仅限于对和错。例如如何表示整数或函数也适用。基本上，在C中表示任何东西的方式都适用于“语法形式”。
非常感谢您的评论。这本书似乎非常精确，所以我认为“语法形式”“也是一种精确的/定义明确的/常用的技术术语，我不理解。然而，“句法形式”这个术语似乎起源于自然语言理论。例如，本文中使用了@jhegedus：这当然是一个经常被人类语言语言学家使用的短语。但是（多年前我自己就在这一领域接受过培训），我仍然认为这只是一种描述，而不是数学定义的形式主义。根据wiktionary的说法，“形式”的第一个意思是“事物或人的形状或可见结构”，我认为这就是这里的用法：可识别句法单位的形状或可见结构。语法可以形式化：乔姆斯基就是这样做的，但使用不同的术语。