C# Programm zur Darstellung von minimierten Automatengraphen nach Eingabe der nicht minimierten Adjazenzmatrix
Betreuer: M.Sc. Mohamed Denguir
Vortragender: Nico Sesselmann
Problemstellung: Ein Signalflussgraph (SFG) ist die Präsentation einer abstrakten Algebra, mit welcher wir strukturtreue Abbildungen verifizieren können. Der SFG ist eine graphische Darstellung eines Multisets. Die Darstellung eines Signalflussgraphen kann durch eine Adjazenzmatrix beschrieben werden.
Problemlösung: Es soll ein Programm in der Programmiersprache C# entwickelt werden, mit dem es möglich ist, einen SFG nach Eingabe der Adjazenzmatrix zu minimieren und darzustellen. Die Darstellung soll als Bild mit dem Programm GraphViz geschehen. Außerdem soll ein Tex-Code erzeugt werden, mit der die Darstellung des Signalflussgraphen in Tikz ermöglicht wird.
Termin: 17.12.2015 14:30 Uhr