Search CTRL + K

Formal Grammar

形式语法(formal grammar) 描述了如何从语言的字词(alphabet)构造符合语法(syntax)的有效句子,是 形式语言 的一部份。形式语法 不描述字符串的含义,也不描述在任何上下文中可以用它们做什么,只描述它们的形式(语义部分由 形式语义 定义)。[1]


现在常用的形式语法经典理论,文法 G 由以下部分组成:


有文法 G,其中 N={S,B}Σ={a,b,c}S 是开始符号,P 由一下产生式规则组成:


这个文法的 形式语言L(G)={anbncn|n>=1}


形式语法 被划分为四类,成为 乔姆斯基谱系


In formal language theory, a grammar (when the context is not given, often called a formal grammar for clarity) describes how to form strings from a language's alphabet that are valid according to the language's syntax. A grammar does not describe the meaning of the strings or what can be done with them in whatever context—only their form. A formal grammar is defined as a set of production rules for such strings in a formal language.[2]

  1.形式文法 ↩︎

  2. ↩︎