Bachelor Thesis BCLR-2019-67

BibliographyPilz, Daniel: Extremale Minimalitätsbedingungen für endliche Automaten und Halbgruppen.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 67 (2019).
27 pages, german.
Abstract

Die Minimierung von deterministischen endlichen Automaten hängt direkt von der Wahl der Endzustände ab. In dieser Arbeit werden wir die Minimalität solcher Automaten für alle möglichen Endzustandsmengen untersuchen. Dabei unterscheiden wir verschiedene Eigenschaften und untersuchen Automaten mit diesen Eigenschaften auf ihre Komplexität.

Department(s)University of Stuttgart, Institute of Formal Methods in Computer Science, Theoretical Computer Science
Entry dateDecember 18, 2019
   Publ. Computer Science