snowonion/automataprojectexam

Automatically exported from code.google.com/p/automataprojectexam 这个项目是清华大学 MSE09级 自动机与形式逻辑课程的大作业项目，收录各组的大作业

automataprojectexam's Issues

大作业最终提交

请大家关注网络学堂的大作业提交，并查看作业的附件。里��
�详细说明了如何提交大
作业。
需要注意的是，罗老师希望每一组的全部同学（我之前给大��
�说的是派代表）都参与
现场演示，所以请大家跟我联系时间，争取在本周（第18周）
周末之前完成大作业的
现场演示。完成演示之后的大作业有最终成绩。

Original issue reported on code.google.com by [email protected] on 18 Jan 2010 at 5:44

各组请在16周周六之前提交一个可用的版本。

各组请注意，由于有的组可能存在互相依赖，请大家在16周之
前提交一个可用的版本。
提交内容包括但是不限于：
1、如何运行你的程序；
2、接口的简单说明；

提交方法是：
1、将你的内容打包上传到downloads里面，命名为"组号-名字-alph
a"
2、另外，请在你的Wiki里面写上你们组的完成进度。

Original issue reported on code.google.com by [email protected] on 27 Dec 2009 at 1:37

关于自动机的DTD定义

大家好，上次收集大家邮件，有些同学给我的不是Google账户��
�所以我等了几天，等
大家基本上都到齐。所以有些耽误了。

最近又有很多事情，昨天还在外面开了一天的会。实在是抱��
�。本来这个事情早就应
该由我来推进了。

言归正传，题目1的DTD定义，我看了一些同学的定义，另外，�
��崇迪同学也针对已有
的定义提出了意见和建议。感谢选择题目1同学的努力，也感�
��黄崇迪同学。

综合各方面的意见，我提出我的看法，希望大家讨论，近几��
�之内提出一个解决方
案，把DTD定下来。然后尽快把数据结构也确定。

DTD的定义，已有的定义存在如下问题：
1、有错误，一个是DTD文件本身不能通过验证，有一个很明显�
��是DFACondition和
NFACondition都没有给出定义。第二个是状态的StateType只能定义��
�个（也就是说如
果是开始状态就不能是终止状态了）。第三个是NFA 
里面似乎没有给出varepsilon转
移应该怎么定义。
2、可能存在冗余，转移里面的FromState和ToState都需要重新填写
整个State信息
（事实上只要在前面保证StateID唯一，这里直接使用stateID就可
以了）
3、似乎不能保证正确性，比如转移里面的FromState、ToState、Con
dition这些状
态和输入符号是否确实在前面已经定义过了。

针对这样，黄崇迪同学也给出了一个定义，见附件。
但是存在如下问题：很多原来的#PCDATA信息我改成了属性的方�
��描述，这样输入符号
和状态名等就不能以数字开头了。

我仔细对比之后，觉得黄崇迪同学的定义更加符合实际的情��
�。我提出几点想法：
1、DFA和NFA的根本区别在于在(a)fromState和condition相同的情况下t
oState是否是
唯一的;(b)能否有epsilon转移。因此我们没有必要过于区分两者
。我们只需要定义
NFA，同时DFA也能够表达。这样的好处是不用处理DFA和NFA中很��
�重复的部分，缺点
是我们需要进行“语义”上的检查，以确保类型为“DFA”的xm
l文件确实是一个DFA。我觉
得这样的定义是可以接受的。我们统一定义一个FiniteAotumaton.d
td
2、在黄崇迪同学的定义的基础上，我们应该做如下改进：(a)s
tate的id不能以数字开
头，这个可以接受。但是condition的symbol应该要能够以数字开��
�。(b)能否定义
INITIAL状态的唯一性？

3、（另外）在数据结构的实现上，可以区分实现DFA和NFA，但�
��要避免过度设计。也
就是说，这个区分应该是轻量级的。比如，我觉得可以不将Tr
ansition继承为
TransitionNFA，TransitionDFA。因为他们的区别仅仅是是否condition可
以为
epsilon。这一点可以在DFA.addTranstion()里面避免。

希望项目1的同学尽快给出一个确定的统一的DTD定义，和数据�
��构实验。以便后面的
同学顺利完成。大家可以在此回复讨论。

Original issue reported on code.google.com by [email protected] on 13 Dec 2009 at 8:39

请大家加入项目

好事多磨，终于把大部分同学都加入到Google Code里面来了。
这周请大家完成这2个事情。

1、加入项目，阅读Wiki里面的README，加入到项目里面来。如果
有同学暂时没有加
入，请大家互相通知一下。

2、请做题目1的几组同学，这周给出一个XML文件格式的统一方
案。如果可能，在数据
结构上也尽量的统一。大家可以在课后各派出代表一起讨论��
�以方便其余组的同学继
续推进。选择其余题目的同学，应该尽量参考选择题目1的同�
��，看看他们的数据结构
和接口，为自己减少工作量。

3、本周之前，请大家给出自己项目的设计文档（之前提交到�
��络学堂或者发到我邮箱
的文档也可以用）。并且提交到Downloads里面去，以"designdoc+下
划线+组名"命名。

大家加油吧，我原来没有预计到有那么多同学给我的不是Googl
e账号，耽误了不少时
间。实在是抱歉。

Original issue reported on code.google.com by [email protected] on 8 Dec 2009 at 7:57