- 13
- 0
- 约7.71千字
- 约 9页
- 2018-10-22 发布于安徽
- 举报
WORD文档 可编辑
技术资料 专业分享
复习题(2)
试分别判断下列图中G1和G2是否互模拟(bisimulation),并说明理由:
a
a
a
a
b
c
c
b
G1=
G2=
ab
a
b
c
a
b
c
c
G1
G2
d
d
d
答案:
(1) 在图中标出各点的状态,我们构造关系
,
可知G2可以模拟G1,下面我们讨论
是否可模拟,在G2中有一个a变换可对应到G1中2个变换,即,。但有两个变换b,c,而在G1中仅存在只有b或只有c的状态点,可知G1和G2不能互模拟。
(2) 如图,标出各状态点,构造有关系
可知其中G1中的点均可由G2中的点模拟,下面我们考虑
可知同样其中G2中的点均可由G1中的点模拟. 所以G1和G2为互模拟的。
给定如下数据图(Data Graph):
试给出其Strong DataGuide 图
答案:
Strong DataGuide 图
Consider the relation, r , shown in Figure 5.27. Give the result of the following query :
Figure 5.27
Query 1:
select building, room number, t
您可能关注的文档
- Java语言程序设计(一)04747汇总(2017年_2018年全).doc
- listen_to_this2_英语中级听力2答案解析.doc
- OA协同办公系统概要设计实施说明书.doc
- OA协同办公系统详细设计实施说明书.doc
- PE管热熔对接施工组织设计方案.doc
- QTZ(5013)说明书.doc
- TN-C-S系统正确的接线及接地.doc
- 办公软件(Office2003)中级操作员模拟试题(卷)使用指南.doc
- 办公软件应用(中级)试题(卷)汇编(第1套).doc
- 北师大英语高中一年级必修一第3单元第4课(说课教(学)案)整理版.doc
- 2026年三年级作文自编童话故事.docx
- 2026年争做新时代好队员我是小小讲解员征文.docx
- 镇平县第一高级中学2026届高三考前模拟历史试卷(含答案).pdf
- 陕西省榆林市2026届高三下学期五月检测训练政治试卷(含解析).pdf
- 陕西省2026届高三下学期冲刺(三)历史试卷(含解析).pdf
- 江西省上饶市弋阳县2026届九年级下学期中考模拟考试道德与法治试卷(含答案).pdf
- 吉林省通化市梅河口市第五中学2025-2026学年高一下学期5月阶段检测政治试卷(含答案).pdf
- 江苏省泰州市2025-2026学年八年级下学期期末模拟英语试卷(含答案,无听力原文及音频).pdf
- 江苏省宿迁市2025-2026学年八年级下学期期末模拟英语试卷(新教材译林版)(含答案).pdf
- 江苏省苏州市2025-2026学年八年级下学期期末模拟英语试卷(提升)(含答案).pdf
原创力文档

文档评论(0)