1.组成元素

就是看S 到底是什么元素组成。

 

2)Z::=aZb

     Z::=ab      

   可简写成:Z->aZb]ab

推演过程用   => 

Z->aZb|ab=>aaZbb|ab....=>aaa..ab..bbb=>{anbn|n>1) n是指数。

   集合分两部分,|前面是含参数表达式,|后面是参数特性。全部元素用一个集合表示。

2.构造文法

文法用G[S]表示

 

之后S->xx|xx|D|

       D->xx|xx|

 

2)

要有N代表整个数字。 E->NT|D 要么是02468或者是任何一个数字(用)T->NT|D(要有任何数字的代表乘以本身,在写一个另一个专门偶数的代表自己D)

 

 

3.给出表达式的推导以及语法树:eg

 

 

 

一个果实

 用一个箭头,一个表达式用三个箭头,,箭头不加箭。吧i+(i+i)变成语法树。

4.

 

 4.短语、直接短语(简单短语)、句柄

(以下概念自我总结:书上的概念不清晰,自我总结概念是我最大的进步之一)

短语:各分树不可继续在拆分的子树节点、以及分树最深节点集合,以及不同树最深节点集合

直接短语:各分树不可继续在拆分的子树节点

句柄:最左直接短语

 

 

 

 最左 最右推导、集合p\短语、简单短语、句柄

最左推导:从左开始替换

最右推导:从右开始替换

包含的元素:先写出A、B 、C的推导式,找出最底部的元素组成

反三符号可以忽略代表乘1