自动机理论

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

课程类型	研讨会/研讨会
讲师	克里斯蒂安·席林（组织事务联系人）， Andreas Podelski教授,Matthias Heizmann博士,Jochen Hoenicke博士,马吕斯·格雷特斯,文森特·兰恩菲尔德,亚历山大·纳茨
启动会议	10月19日星期四，下午13:00，052号楼，00-016室
演示文稿	2018年1月27日星期六和2月3日星期六，每天9:00-14:30 s.t.，101号楼，SR 01-016室
演示文稿语言	英语（研讨会）/德语（散文）
信用	4（研讨会）/3（研讨会）
课程目录	自动机理论高级专题（研讨会）自动机理论导论（散文）

新闻

研讨会已经结束。

研讨会进程

您参加了启动会议，我们在会上介绍了可用主题。请提前交上您最喜欢的主题。
你联系讲师获取主题。您可以通过以下方式提出主题自己选择一个建议的主题，或找到一个适合的主题你正在和你的上司讨论。
您与您的主管举行了一次会议，我们在会上讨论了相关文献，并对您的演讲进行了粗略的概述（截止日期：演讲前四周）。
你写一份提案，解释你要在演讲中陈述的内容，并附上演讲摘要。你通过电子邮件向你的主管提交摘要和提案（截止日期：演讲前三周）。
您的提案由您的主管和其他两名参与者审查。
你写两篇关于其他参与者提案的评论，并通过向主管发送电子邮件（截止日期：您收到提案）。
您将收到对您的提案的评论（截止日期：演讲前两周）。
您可以通过电子邮件向主管提交幻灯片（截止日期：演讲前一周）。
你和你的上司开了一次会议，在会上你可以获得幻灯片的反馈。
你说25-30会议纪要（研讨会）/18-22分钟（普罗塞米纳）。上限是严格的截止日期。
你参加了所有其他参与者的演讲。

谈话建议

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

评审员简要概述（评审员可能不知道您的主题）
你演讲的结构
你所呈现的主题的方面（为什么？）和忽略的方面（为何？）
演讲中出现的例子（为什么会出现这些例子？是否有一个可用于演示的运行示例？）
哪些定义是正式提出的？（为什么？），刚才非正式地提到了哪些定义？（为什么？）
使用哪种符号？（为什么？）
提出了哪些定理，哪些定理将被证明（为什么？），哪些证明将被省略（为什么？

演讲摘要

摘要由一个段落组成，总结了你在演讲中所陈述的内容。
我们将向所有学生和主席发出研讨会邀请。这份邀请函包含了所有会谈的摘要。

谈话

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

审查提案

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

提案是否写得足够好，可读性强？
提案的外观和结构是否合适？
演讲的可理解性是否有相关的例子和数字支持？
提议的谈话结构合理且平衡吗？
作者提出的所有主张都正确吗？
关于演示的推理线是否完整准确？
提交人是否有效地为自己的案件辩护？
作者是否使用常用的符号和术语？你会在哪里提出不同的建议？
作者的日程安排合理吗？你认为这次演讲适合这个时间段吗？

等级

你的总成绩将按照以下比例组成。

你的提案得分为10%
20%的评论评分
70%的演讲成绩

主题和文献

研讨会谈话和话题。几个学生可以就同一主题进行演讲，但要出席不同方面。推荐的文献应该会给你第一次主题印象。我们合作分配准确的文献在你陈述了你对这个主题的偏好之后。更多的文献并不意味着更多的阅读，只是更多的选择。外观顺序按字母顺序排列。我们已经用“P”或“S”注释了每个主题，表示这是一个研讨会响应。研讨会演讲，并用“A”或“B”表示小组（见“时间表”一节）。

如果有要求，也可以两人一组介绍一些主题。

一些论文只能通过我们的网络获得大学（例如，通过vpn）。如果您在访问报纸，请问我们。