如果结果不匹配，请 
更多“证明文法是LR（1)但不是SLR（1)。（其中‘S’相当于‘…”相关的问题
文法G[E]是LL(1)文法：
其中EEEF为非终结符。
构造文法G[E]的LL(1)分析表。
文法GIE]是LL(1)文法：
其中E，F，E'，F'为非终结符。
对文法G[E]构造递归下降分析程序。
在自然推理系统
中，构造下列推理的证明。
(1)偶数都能被2整除。6是偶数。所以6能被2整除。
(2)凡大学生都是勤奋的。王晓山不勤奋。所以，王晓山不是大学生。
治疗特发性血小板减少性紫癜，下列哪项不是切脾的指征
A．糖皮质激素治疗1个月无效
B．糖皮质激素治疗3～6个月无效
C．糖皮质激素治疗有效，但减量时复发
D．对糖皮质激素有禁忌证
不是整数
是整数.
为可满足式，但不是永真式。
为永真式。
