在沃勒松理论信息中心，Kellerautomaten和Turingmaschinen kennen。Zum einen werden diese aber nicht erschöpfend behandelt。Zum anderen sind das längst nicht alle Arten von Automaten，die beriet erfscht wurden（祖安捷伦）。在diesem Prosminar wollen wir uns eingehender mit Automaten beschäftigen中。
在diesem Praktikum soll ein Softwareentwicklungsprozess中，开始于Anforderungserhebungüber Entwurfsphase bis hin zur Implementierung，是Arbeit innerhalb einer Gruppe und der Umgang mit komplexen Systemen erlernt werden的组织。在《格鲁朋与缪森》中，蒂尔内默·沃登·冯·登·贝特鲁恩（Die Teilnehmer werden von den Betreuern）表现得最为出色。Hierzu müssen sie sich selbst organieren，die Anforderungen definieren，Arbeit geschickt auf Gruppenmitglieder verteilen und neue Technologien selbstständig erlen。
Die Vorlesung gibt eine Einführung在Die Theoretische Informatik中。Sie führt in die Themen Endliche Automaten，Formale Sprachen und Grammatiken ein und liefert mehrereäquivalent präzise Fassungen des Berechenbarkeits begrifs。Es schließt sich eine Einführung in die Komplexitätstheorie，speziell die Theorye der NP-Vollständigkeit，an.Behandelt werden abstrakte Modelle von Maschinen und Sprachen und mit ihrer Hilfe werden Komplexitätsma \223]e wie Schritzahl（Laufzeit）und Speicherbedarf von Algorithmen präzise definitiert。
软件和系统开发的模型驱动方法旨在解决开发过程中的质量和复杂性问题。建模语言的使用不仅用于文档编制，而且用于自动分析、测试生成和代码生成，尤其是在（安全）关键软件开发的环境中，这种使用势头越来越大。必要的先决条件是建立在语义基础上的建模语言以及用于分析的方法和工具。我们将以统一建模语言（UML）为例，演示如何根据官方标准文档为相关子语言（有时称为可执行核心）配备精确的含义。为了补充这些讨论，我们提供了对当代UML建模工具的访问，并将其用于一些练习。
