272,779
次編輯
變更
两级文法
,無編輯摘要
==形式文法==
在[[计算机]]科学中，形式语言是：某个字母表上，一些有限长字串的集合，而形式文法是描述这个集合的一种方法。形式文法之所以这样命名，是因为它与[[人类]]自然语言中的文法相似的缘故<ref>[https://learning.sohu.com/20050815/n226677766.shtml [语法大全]形式否定意义肯定 ], ， 搜狐新闻 , ， 2005-08-15</ref>。
形式文法描述形式[[语言]]的基本想法是，从一个特殊的初始符号出发，不断的应用一些产生式规则，从而生成出一个字串的集合。产生式规则指定了某些符号组合如何被另外一些[[符号]]组合替换。举例来说，假设字母表只包含'a'和'b'两个字符，初始符号是'S'，我们应用下述规则：