-- 发布时间：3/17/2008 12:46:00 PM
-- 请教几道南大07的复试题(在线等.........)
1、用集合定义有序对的方法有很多种，证明下面这种定义也是可行的（即，证明<a,b>=<c,d>当且仅当a=c且b=d）：定义<x,y>={{{x},Φ},{{y}}}。（15分）
不清楚{{x},Φ} 与{{x}} 有什么区别吗,难道Φ 不属于{{x}}
或者说{{y}}不含Φ ? Φ 是不是空集 ?
编译原理部分
1、有文法G[E]如下：
E::=E+T|E-T|E <===== E::= E ?? 是不是写错了 ???
T::=T*F|F
F::=(E)|i
其中i为整数。
A) 消除上述文法的左递归（5分）
B) 用递归子程序法写出上述文法的识别程序（5分）
C) 假设i由词法分析程序给出，其值由i.val给出，试修改上述识别程序，使其能正确计算出表达式的值。（5分）
4、对于一阶谓词系统PK，记S为PK中的所有公式的集合。在S上定义等价关系≈如下：对任意α,β∈S，令α≈β当且仅当PK├α←→β。记B={[α]|α∈S上的公式，[α]为S关于≈的等价类}。在B上定义二元关系≤如下，对任意[α],[β]∈B，令[α]≤[β]当且仅当PK├α→β。证明：<B,≤>是一个布尔代数。（20分）
这道题没看懂 
谢谢了~_~