Mealy-to-Moore Transformation

Betreuer: Dipl.-Math. Mustafa Özgül

Vortragender: Francesca Stemmer

Problemstellung: Jeder Mealy-Automat kann in einen äquivalenten Moore-Automaten transformiert werden indem die Stelligkeit von δ um |x| erhöht und mit x codiert wird, z′ = (z, x) mit δ′(z′, x) = (δ(z, x), x). Damit hängt die Ausgabefunktion nur noch von der erweiterten Zustandsvariablen z′ ab. Beim Vergleich der beiden Automaten lassen sich Vor- und Nachteile aufzeigen. Deshalb liegt die Überlegung nahe, die einzelnen Automaten ineinander zu transformieren, um möglichst aus den Vorteilen der beiden zu profitieren.

Problemlösung: Kanten des Automaten sollen reflexiv enden und damit nur transiente Zustände erlauben, welche bewusst von außen getriggert werden. Hierfür wird die Zustandsrückführung über die Ausgabefunktion geschoben und somit das Ausgangssignal y rückgekoppelt. Um den stabilisierten Zustand am Eingang der Zustandsüberführungsfunktion anzulegen, wird eine Funktion integriert, die den richtigen Zustand erzeugt.

Durchführung: Der bereits entwickelte Formalismus soll bearbeitet werden und eine weitere Methode untersucht werden (z.B. Klimovich).

Einführung in die Theorie (Formalismus, Modellierung)
Vor- und Nachteile von Mealy- und Moore-Automaten
Formalismus aufstellen (bis zu n-dimensionale Automaten)
Beispiele untersuchen und bewerten

Termin: 25.01.2018 14:15 Uhr