自动机理论

在关于理论计算机科学的讲座中，你看到了有限自动机、下推自动机和图灵机。它们三个都是对有限单词进行操作的。然而，还有其他的自动机模型和自动机，它们不是对有限单词进行操作，而是对无限单词、嵌套单词、树等进行操作。在本次研讨会中，我们将了解一些您在理论计算机科学讲座中没有见过的自动机模型。

课程类型	研讨会
讲师	马蒂亚斯·海兹曼，亚历山大·纳茨
启动会议	2012年4月25日星期三，13:00-14:00，052号楼，00-016室
演示文稿	每周，从6月开始
演示文稿语言	英语
信用	4
课程目录	自动机理论

新闻

请在星期一上午9:00（2012年4月30日）之前告知我们您的首选主题。
请使用我们的涂鸦日历[删除链接]让我们知道您何时有空。如果所有参与者都同意一个共同的日期和时间，研讨会将从周一10:00-12:00重新安排到今天。

时间、日期和地点

会谈将于周一晚上10点举行。第一次会谈将于6月4日星期一举行。根据演讲人的偏好，演讲将在我们的会议室（52号楼00-016室）或研讨会室进行。如果不另行宣布，会谈将在我们的会议室进行。

研讨会进程

你选择一种自动机。
你可以从组织者那里获得有关这台机器人的文献。
你写一份提案，解释你要在演讲中陈述的内容。
你在演讲前三周提交提案。
您的提案由另外两名参与者审查。
在演示前两周，您收到了对您的提案的审查。
在演讲前一周，你提交了一份演讲摘要。
在演讲前一周提交幻灯片。
你做了大约30-45分钟的演讲。
你们写两篇关于其他参和者提案的评论，并参加其他参和人的所有演讲。
你参加了所有其他参与者的演讲。

谈话建议

提案应该由大约五页组成，你在其中解释你将要在演讲中介绍的内容。提案可能包含例如：

你演讲的结构
你要介绍自动机的各个方面
演讲中出现的例子（为什么会出现这些例子？是否有一个可用于演示的运行示例？）
哪些定义是正式提出的？（为什么？），刚才非正式地提到了哪些定义？（为什么？）
使用哪种符号？（为什么？）
你将提出哪些定理，哪些定理将被证明（为什么？）哪些证明将被省略（为什么？

谈话摘要

一段总结了你在演讲中所陈述的内容。
每次演讲，我们都向主席的所有成员发出邀请。此邀请将包含您的摘要。

谈话

你演讲的目的是让听众（掌握了基本的自动机理论的学生，可能还没有这方面的专家）有可能学到一些关于有趣话题的新东西。你实现这个目标的程度将决定你演讲的等级。
在研讨会上，你必须表明你能够向其他人介绍一些主题。你不必展示自己对主题的理解程度。你对主题的理解程度对你的成绩没有直接影响。你对主题的表现如何将决定你的成绩。
您可以使用和复制任何信息源（但不要忘记引用它）。如果你认为你的演讲只是针对听众的现有演讲的“混音”，那么你可能做得很好。但不要让自己被网络上结构合理、花哨的演讲所愚弄，每一次演讲都是针对特定的观众而定制的。
如果你同意，我们会把你的幻灯片放在这个网站上。请记住，如果您在幻灯片中复制了图像，这可能就不可能了（版权限制）。当然，无论我们是否发布您的幻灯片，都不会影响您的评分。

提案审查

根据提案对演讲进行简短总结。（一开始就发现误解）
对你的批评要宽容。学生不太可能因为你在他/她的演讲中透露了一些问题而得到不好的分数。然而，如果学生能够通过你的复习解决演讲中的问题，他/她很可能会得到更好的分数。
为你的批评提供理由。（例如，“不可能理解引理2，因为术语foo没有解释。”）。你也可以发表你的个人意见，如果你这样做了，就把它们标记出来。（例如，“定理1很难理解，我认为你应该先举个例子。”）
以下问题可能有助于撰写您的评论

提案是否写得足够好，可读性强？
提案的外观和结构是否合适？
谈话的可理解性是否得到了相关例子和数字的支持？
提议的谈话结构合理且平衡吗？
作者提出的所有主张都正确吗？
关于演示的推理线是否完整准确？
提交人是否有效地论证了自己的案件？
作者是否使用常用的符号和术语？你会在哪里提出不同的建议？
作者提出的所有主张都正确吗？
自动驾驶的时间表合理吗？你认为演讲适合30-45分钟的时间段吗？