对下述每一论证构造一个证明,给出所有必须增加的断言,指出用于每一步的推理规则。
(a)煤或大米将涨价,不是这种情况。如果铁路中断运输,那么煤将涨价。因此,铁路不会中断运输.
(b)从语句“今天下雨或明天后天都下雨”和“明天不下雨或后天不下雨而今天下雨”可推出“今天下雨”。
(c)如果李敏来通信工程学院、若王军不生病,则王军一定去看望李敏。如果李敏出差到南京,那么李敏一定来通信工程学院。王军没有生病。所以、如果李敏出差到南京,王军一定去看望李敏。
利用定理7.22证明:
(1)当A为无限集时,p(A)为无限集.
(2)当A为无限集,B≠时,AXB为无限集.
(3)当A为无限集,B≠时,AB为无限集楚.
设A为有限集合,为有序集,B=p(A)-{Ø}-{A}且B≠0,求子集B的极大元、极小元、最大元、最小元.
设R是有限集X上的一个二元关系,证明:
a)对于任意在X上的二元关系R,有R+是可传递的。
b)若有X上任何其他传递关系P,使得
c)R+就是定义3-8.1中所说的传递闭包。
考虑文法S AS|b
A SA|a
(1)构造文法的LR(0)项目集规范族及相应的DFA。
(2)如果把每一个LR(0)项目看成一个状态,并从每一个形如Ba:Xb的状态出发画一条标记为X的箭弧刀状态Ba.Xb,而且从每一个形如Ba.Ab的状态出发画标记为的箭弧到所有形如A●g的状态。这样就得到了一个NFA。说明这个NFA与(a)中的DFA是等价的。
(3)构造文法的SLR分析表。
(4)对于输入串bab,给出SLR分析器所作出的动作。
(5)构造文法的LR(1)分析表和LALR分析表。
设二元函数f(x,y)在开集内对于变量x是连续的,对于变量y满足Lipschitz条件: