Detailseite
Projekt Druckansicht

Transducersynthese aus automatendefinierbaren Spezifikationen

Fachliche Zuordnung Theoretische Informatik
Förderung Förderung von 2015 bis 2021
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 287809235
 
Erstellungsjahr 2021

Zusammenfassung der Projektergebnisse

Bei dem Projekt handelt es sich um Grundlagenforschung in der theoretischen Informatik. Aus einer Beschreibung für das Ein-Ausgabeverhalten eines Systems soll automatisch ein System konstruiert werden, das aus den möglichen Ein-Ausgabeverhalten der Beschreibung ein mögliches umsetzt. Als Formalismus für die Beschreibungen und Systeme wurden in dem Projekt dabei endliche Automaten, also eine einfache Form von Programmen, verwendet. In dem Projekt wurden Algorithmen zur Lösung dieses Syntheseproblems für neue Klassen von Automaten entwickelt. Ein Großteil der formulierten Ziele wurden dabei erreicht. Insbesondere wurde eine umfassende Theorie der Synthese von sequentiellen Transducern aus Teilklassen von rationalen Relationen entwickelt. Bei der Synthese von Baumtransducern wurden einige Algorithmen für einfache Klassen von Automaten entwickelt, aber es hat sich auch herausgestellt, dass man sehr schnell in den Bereich der algorithmisch nicht mehr lösbaren Probleme kommt. Wir haben damit den aktuellen Forschungsstand zu diesem Gebiet der theoretischen Informatik um einige Ergebnisse erweitert und zu dem besseren Verständnis der im Projekt untersuchten Modelle beigetragen.

Projektbezogene Publikationen (Auswahl)

 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung