自动机理论

新闻

• 研讨会的发言时间应为30分钟，而预习会的发言时间应为25分钟。请注意，这些限制是强制性的，您与时间表的偏差不应超过5分钟。
  
• 主题已分配。请联系您的主管之前你通读了文献。我们想给你们每个人指定一个特定的副主题。
• 如果您想参加研讨会然后请选择下面列出的三个主题并发送您的根据您的偏好排序的选项克里斯蒂安·席林星期日晚上（4月26日）。如果你有另一个最喜欢的话题，你可以另外列出，我们会讨论它是否合适。
  
• 如果您想参加研讨会然后请选择下面列出的主题之一并发送您的选择克里斯蒂安·席林星期日晚上（4月26日）。如果你有另一个最喜欢的话题，你可以另外列出，我们会讨论它是否合适。
• 从周三晚上开始，我们将在此网站上列出可能的研讨会主题。如果您对我们的研讨会请尽快通知我们，我们会（尽力）把它列入我们的清单。
• 启动会议将于4月21日星期二上午12~14点举行。
  

研讨会进程

• 参加启动会议，在那里我们介绍可用的主题。请提前交上您最喜欢的主题。
  
• 联系讲师以获取主题。你可以自己提出一个主题，从建议的主题中选择一个，或者在与上司的讨论中找到一个适合你的主题。
• 与您的主管举行一次会议，我们在会上讨论相关文献，并对您的演讲进行粗略概述。（在学期的第一周）。
  
• 你写一份提案，解释你要在演讲中陈述的内容。
• 你写一篇演讲摘要。
  
• 你通过电子邮件向讲师提交你的摘要和建议（截止日期：演讲前三周）。
  
• 另外两名参与者将对您的提案进行审查。
• 你写两篇关于其他参与者提案的评论，并通过电子邮件发送给讲师（截止日期：收到提案后一周）。
  
• 你会收到对你的提议的评论（截止日期：演讲前两周）。
  
• 您可以通过电子邮件向讲师提交幻灯片（截止日期：演讲前一周）。
• 您与讲师有一个简短的会议，在会上您可以获得幻灯片的反馈。
  
• 你做了大约30分钟（研讨会）/25分钟（普罗塞米纳）的演讲（时间表见下文）。
  
• 你参加了所有其他参与者的演讲。
  

会谈建议

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

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

谈话摘要

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

谈话

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

审查提案

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

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

等级

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

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

“自动机理论导论”散文主题

研讨会演讲和话题。几个学生可以就同一主题进行演讲，但要出席不同方面。推荐的文献应该会给你第一次主题印象。我们合作分配准确的文献在你陈述了你对这个主题的偏好之后。

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

交替有限自动机I（A组）

• 文献：待定
• 谈话人：Felix
  
• 主管：Alexander Nutz
• 审核人：Maximilian、Zhiwei

交替有限自动机II（A组）

• 文献：待定
• 谈话人：Michael S。
  
• 主管：Alexander Nutz
  
• 审核人：Maximilian、Zhiwei

自动化和逻辑规范（B组）

• 文献：应用自动机理论（第一章）
• 谈话人：Marc
  
• 主管：Christian Schilling
• 审核人：Daniel Z、Jannis
  

星高（B组）

• 文献：维基百科,应用自动机理论（第1章），关于理性语言的星空高度。两个旧结果的新证明
• 谈话人：Jannis
• 主管：Christian Schilling
• 评审人：Daniel Z.，Michael B。
  

同余与最小化（B组）

• 文献：应用自动机理论（第二章）
• 谈话人：Sven
  
• 主管：Christian Schilling
• 审核人：Jannis，Michael B。

树自动机（C组）

• 文献：应用自动机理论（第三章）
• 谈话人：马克西米利安
  
• 主管：Alexander Nutz
  
• 审核人：Marc，Matthias

下压和计数器系统（C组）

• 文献：应用自动机理论（第四章）
• 谈话人：志伟
  
• 主管：Christian Schilling
• 审核人：Matthias，Sven
  

嵌套字自动机（D组）

• 文献：维基百科,嵌套的单词,向单词添加嵌套结构
  
• 演讲人：Michael B。
  
• 主管：Christian Schilling
• 评审人：Felix，Michael S。
  

Petri网（D组）

• 文献：应用自动机理论（第六章）
• 演讲人：Daniel Z。
  
• 主管：Christian Schilling
• 评审人：Felix，Michael S。

Omega Automata（E组）

• 文献：无限对象上的自动机,ω-自动机,Büchi自动机的互补问题及其在时间逻辑中的应用
• 谈话人：Matthias
  
• 主管：Matthias Heizmann
• 审核人：Marc，Sven
  

“自动机理论”研讨会主题

研讨会演讲和话题。几个学生可以就同一主题进行演讲，但要出席不同方面。推荐的文献应该会给你第一次主题印象。我们合作分配准确的文献在你陈述了你对这个主题的偏好之后。

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

缩小Büchi Automata的规模（E组）

• 文献：维基百科,高级自动机最小化,公平模拟最小化公平模拟关系，  对等博弈与Büchi自动机的状态空间缩减
  
• 演讲人：Daniel T。
  
• 主管：Matthias Heizmann
  
• 审核人：Jeremias，Marcel
  

自动机理论中的反链（F组）

• 文献：维基百科,反链：一种检查有限自动机普遍性的新算法,有限自动机的反链算法,当模拟遇到反链时
• 谈话人：Jeremias
  
• 主管：Matthias Heizmann
• 审核人：Daniel T.、Marcel
  

用自动机判定一元二阶逻辑（F群）

• 文献： MONA工具,WS1S的嵌套反链（尤其是第4节），S1S和S2S的可决定性,逻辑到有限自动机转换的复杂性, 
• 谈话人：马赛尔
  
• 主管：Matthias Heizmann
• 评审人：Daniel T.，Jeremias

地铁列车时刻表

我们有六次会谈，因此有六个小组。

下表包含各组的截止日期。请注意，“审查”代表审查截止日期对于特定群体。每个学生都必须写评论二其他学生。