文法是干什么的?
学编译原理肯定会接触到文法,那么文法是干什么的,这个问题困扰了我好几天。今天终于有了初步的答案,拿出来和大家分享一下。
我的解答很简单,相信你看完会明白,更深层次的知识大家可以看书。
文法是用来定义语言的规则的,如一般自然语言的句子的结构是:
名词短语+动词短语+句号
动词短语=动词+名词短语
如:周瑜打黄盖。 我是中国人。 等等
现在来产生一句话:“乔布斯是CEO。”,如下图
为了简单起见,我们假设某个文法只有上述简单元素构成
那么它的组成可以定义为G={Vn,Vt,S,P}
上图中类似“<名词短语>”的是非终结符,类似于“乔布斯”的是终结符
VN={<句子>,<名词短语>,<动词短语>,<句号>,<动词>}
VT={乔布斯,CEO,是,。}
S=<句子>
P={
<句子>→<名词短语><动词短语><句号>
<名词短语>→乔布斯|CEO
<动词短语>→<动词><名词短语>
<动词>→是
<句号>→。
}
所以: