\"Formale Systeme\"讲座的MATLAB代码文档，由德累斯顿工业大学计算机科学系提供

是的matlab代码幻灯片系统 （此存储库包含a的LaTeX源。） 该存储库包含2020/2021冬季学期中介绍的幻灯片幻灯片的LaTeX来源。 较早版本的幻灯片可作为版本发布。 当前的幻灯片在学期中仍然可以更改。 该讲座介绍了形式语言，自动机理论，命题逻辑，复杂性和可计算性理论领域。 这包括计算机科学的一些最重要的基础知识，例如正则表达式，形式语法，图灵机，逻辑推理，停顿问题以及复杂度等级P和NP。 因此，该讲座构成了许多深入讲座的基础。 创建PDF 可以使用pdflatex将源pdflatex为PDF。 该脚本还创建了一个打印版本，每页有四个幻灯片（需要pdfjam ）。 可以在以下网址在线找到2017/2018年冬季完成的PDF。 2020/2021年冬季学期的幻灯片可在上获得。 教学许可和使用 除非另有说明，否则所有文本均经许可使用，传递和修改。 必须包含以下信息作为名称： （C）MarkusKrötzsch，CC BY 3.0 DE 图像权限可能有所不同，并且在LaTeX文件中分别指定。 幻灯片集不包含VG麦芽代表其开发权利的作品中的任何文本。 如果在所有衍生幻灯片集中都指定