请教:数据库系统工程师模拟试题一 第1大题第18小题如何解答?

Question

【题目描述】

问题1【我提交的答案】：

【参考答案与解析】：

正确答案：D

问题2【我提交的答案】：

【参考答案与解析】：

正确答案：A

问题3【我提交的答案】：

【参考答案与解析】：

正确答案：B

问题4【我提交的答案】：

【参考答案与解析】：

正确答案：D

答案分析：

【我的疑问】（如下，请求专家帮助解答）

请解析一下这道题，不懂

Answer 1

文法G是一个四元式（Vt,Vn,S,P）
其中Vt是一个非空有限集，它的每个元素称为终结符号
    Vn是一个非空有限集，它的每个元素称为非终结符号（Vt和Vn的交集为空）
    S是一个非终结符号，称为开始符号
    P是一个产生式集合（有限），每个产生式的形式是P-->a

开始S必须在某个产生式的左部出现一次

终结符指组成语言的基本符号（如基本字、标识符、常数、算符、界符）
非终结符号（也称语法变量）表示一定符号串的集合。

你看到小写字母一般是终结符，大写字母肯定是非终结符

详细的解释： 
E                               从左边的语法树可以看出。F   是句柄。(句柄：最左直接短语，直接
                        |                               短语：利用一步能推导出来的，在语法树中的表现就是叶子及叶子
        ----------------------     的兄弟和该子的父亲之间的关系。比如，T-> F，   F-> i就是直接短语
      |                   |                       |     由于，T-> 在该语法树的最左边，所以F是句柄。)
      E                   +                       T     素短语：素短语是一个最少包含一个终结符的短语，且除它本身之
      |                                           |     外，不再包含其它素短语(这实际上是限制了它是最小的了)。这里
|---|-----|                             F     F*F   是一个素短语，i也是一个素短语。(F*F也是最左素短语)
T       *           F                             |     句型F*F+T的一个直接推导，就是利用产生式一步得到的推导
|                                                 i     显然，把答案中的式子代入看看，只有F*F+T*F可以只用一步推出来
F                                                       最左推导：就是每次推导都是利用产生式右部对句型的最左边的非终结符进行替换。。对选项中的每一项进行考查。。比如选项D。是这样的E   =>   E+T   =>   T+T   =>   T*F+T   =>   (E)*F+T，从而说明D是对的，用这个方法检查A，B，C，可以发现，它们都不对。。
句子，只含有终结符，从产生式来看。。出现在产生式左边的都是非终结符，E，T，F都是非终结符，因此，句子只能是i,   i的合法性，可以这用用推导的方法验证。E=> T=> F=> i
希望对您有帮助，祝您顺利通过考试