| 课程类型 |
研讨会 |
|---|
| 讲师 |
马蒂亚斯·海兹曼,克里斯蒂安·席林
|
|---|
启动会议
|
2014年4月28日星期一16:15-18:00，052号楼，00-016室
|
|---|
| 演示文稿 |
每周周一16:00-18:00，于2014年6月30日周一开始
|
|---|
演示文稿语言
|
英语 |
|---|
信用
|
3/4
|
|---|
| 课程目录 |
自动机理论（主人），自动机理论导论（学士）
|
|---|
新闻
- 已指定审查合作伙伴（“主题”部分），并添加了时间表。
- 请在5月8日（星期四）之前按您的喜好向我们发送三个主题。
- 演示将在6月和7月进行，每周一将有两次演示。
- 每周周一16:00-18:00进行演示。
- 已发布可用主题。请注意，这些只是建议，您也可以提出自己的主题。
研讨会进程
- 参加启动会议，在那里我们介绍可用的主题。请提前交上您最喜欢的主题。
- 联系Christian和Matthias获取主题。你可以自己提出一个主题，从建议的主题中选择一个，或者在与Christian和Matthias的讨论中找到一个适合你的主题。
- 与Christian和Matthias会面，讨论相关文献，并对您的演讲进行粗略概述。（在学期的第一周）。
- 你写一份提案，解释你要在演讲中陈述的内容。
- 你写一篇演讲摘要。
- 您通过电子邮件向Christian和Matthias提交摘要和提案（截止日期：演讲前三周）。
- 您的提案由另外两名参与者审查。
- 你写两篇关于其他参与者提案的评论，并通过电子邮件发送给Christian和Matthias（截止日期：收到提案后一周）。
- 你会收到对你的提议的评论（截止日期：演讲前两周）。
- 您可以通过电子邮件向Christian和Matthias提交幻灯片（截止日期：演讲前一周）。
- 您与Christian和Matthias有一个简短的会议，在会上您可以获得幻灯片的反馈。
- 你做了大约30分钟的演讲（时间表见下文）。
- 你参加了所有其他参与者的演讲。
会谈建议
提案应该由大约五页组成，你在其中解释你将要在演讲中介绍的内容。提案可能包含例如：
- 评审员简要概述（评审员可能不知道您的主题）
- 你演讲的结构
- 自动机类的各个方面（为什么？）
- 演讲中出现的例子（为什么会出现这些例子？是否有一个可用于演示的运行示例？）
- 哪些定义是正式提出的？（为什么？），刚才非正式地提到了哪些定义？（为什么？）
- 使用哪种符号？（为什么？）
- 哪些定理被提出，哪些定理将被证明（为什么？），哪些证明将被省略（为什么？），你会在证明中使用激励性的例子吗？
演讲摘要
- 一段总结了你在演讲中所陈述的内容
- 我们将向所有学生和主席发出研讨会邀请。这份邀请函包含了所有会谈的摘要。
谈话
- 你演讲的目的是让听众（硕士生，熟悉基本的自动机理论，可能没有该主题的专家）有可能学习到有关有趣主题的新知识。你实现这个目标的程度将决定你演讲的等级。
- 在研讨会上，你必须表明你能够向其他人介绍一些主题。你不必展示自己对主题的理解程度。你对这个话题的理解程度对你的成绩没有直接影响，只影响你向观众展示这个话题的程度。
- 您可以使用和复制任何信息来源（但不要忘记引用它）。如果你认为你的演讲只是针对听众的现有演讲的“混音”，那么你可能做得很好。但不要让自己被网络上结构合理、花哨的演讲所愚弄，每一次演讲都是针对特定的观众而定制的。
- 如果你同意，我们会把你的幻灯片放在这个网站上。请记住，如果您在幻灯片中复制了图像，这可能就不可能了（版权限制）。当然，无论我们是否发布您的幻灯片，都不会对您的成绩产生任何影响。
审查提案
- 根据提议对谈话做一个简短的总结（从一开始就发现误解）。
- 对你的批评要宽容。学生不太可能因为你在他/她的演讲中透露了一些问题而得到不好的分数。然而，如果学生能够通过你的复习解决演讲中的问题，他/她很可能会得到更好的分数。
- 给出你批评的理由（例如，“不可能理解引理2，因为术语foo没有解释。”）。你也可以发表你的个人意见，如果你这样做的话，把它们标记为这样（例如，“定理1很难理解，在我看来，你应该先举个例子。”）。
- 以下问题可能有助于撰写您的评论
提案是否写得足够好，可读性强？
提案的外观和结构是否合适？
演讲的可理解性是否有相关的例子和数字支持？
提议的谈话结构合理且平衡吗？
作者提出的所有主张都正确吗？
关于演示的推理线是否完整准确？
提交人是否有效地论证了自己的案件？
作者是否使用常用的符号和术语？你会在哪里提出不同的建议？
作者的日程安排合理吗？你认为演讲适合30分钟的时间吗？
等级
你的总成绩将按照以下比例组成。
话题
2014年6月30日嵌套字自动机（Jens）
2014年6月30日树自动机（已取消）
2014年7月7日Omega automata I：Büchi automata（穆罕默德·赛义德）
7.7.2014 Omega automata II：其他概念（Göksu）
14.7.2014交替有限自动机（Claas）
2014年7月14日星高（托马斯）
2014年7月28日Hopcroft的DFA最小化算法（Tobias）
2014年7月28日增量DFA最小化（David）
2014年7月28日树自动机（Aile）
（要查看一些论文，您可能需要登录大学网络（通过vpn），因为它们不是免费的。）
地铁列车时刻表
我们有四次会谈，因此有四个小组。
下表包含各组的截止日期。请注意，“审查”代表审查截止日期对于特定群体。每个学生都必须写评论二组。
| 日期 |
建议 |
回顾 |
幻灯片 |
谈话 |
|---|
6月9日
|
1 |
|
|
|
| 6月16日 |
2 |
1 |
|
|
| 6月23日 |
三 |
2 |
1 |
|
| 6月30日 |
|
三 |
2
|
1 |
7月7日
|
4 |
|
三 |
2 |
| 7月14日 |
|
4 |
|
三 |
| 7月21日 |
|
|
4 |
|
| 7月28日 |
|
|
|
4 |
