形式语法 编辑
在形式语言中，文法是形式语言中字符串的一套产生式规则。这些规则描述了如何用语言的字母表生成符合语法的有效的字符串。文法不描述语义学，也不描述在任何上下文中可以用它们做什么——只描述它们的形式。
1
相关
终结符和非终结符在电脑科学和语言学的领域是用来指定推导规则的元素。在某个形式语法之中，终结符和非终结符是两个不交集的集合。
终结符和非终结符在电脑科学和语言学的领域是用来指定推导规则的元素。在某个形式语法之中，终结符和非终结符是两个不交集的集合。
终结符和非终结符在电脑科学和语言学的领域是用来指定推导规则的元素。在某个形式语法之中，终结符和非终结符是两个不交集的集合。
实体语法系统是针对生物复杂系统研究而提出的一种形式语法系统，用五元组表示，其中各项分别为非末端字符集、末端字符集、操作子集、规则集和初始字符。实体语法系统源于诺姆·乔姆斯基的生成语法系统，但其中增加了操作子集F。操作子集合F中的每一个元素表示字符的一种组织方式，字符采用这些组织方式所组成的新的单元称为实体。此实体既可以是具体的物体，也可以是抽象的概念。
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。
在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。