Record #293060 - GSI Repository

DFG project G:(GEPRIS)287809235

Transducersynthese aus automatendefinierbaren Spezifikationen

Coordinator	Privatdozent Dr. Christof Löding
Grant period	2015 - 2021
Funding body	Deutsche Forschungsgemeinschaft
	DFG
Identifier	G:(GEPRIS)287809235

Note: Bei dem Problem der Synthese (oder auch Uniformisierung), soll aus einer Spezifikation vieler möglicher erlaubter Verhaltensweisen eines Systems eine konkrete korrekte Verhaltensweise herausgefiltert und in einem vorgegebenen Formalismus umgesetzt werden. So kann die Spezifikation z.B. mögliche Eingaben zu erlaubten Ausgaben in Beziehung setzen. Sind die Ein- und Ausgaben als Wörter beschrieben, so entspricht die Spezifikation einer Relation über Wörtern. Eine solche Relation kann beispielsweise durch einen endlichen Automaten mit zwei Bändern (für Ein- und Ausgabe) definiert werden. Ziel ist es nun, einen Automaten zu synthetisieren, der zu jeder Eingabe eine konkrete Ausgabe produziert (also eine Funktion berechnet), so dass das Ein-/Ausgabepaar in der Relation enthalten ist. In der Automatentheorie gibt es eine Fülle von Modellen zur Beschreibung von Relationen und Funktionen sowohl über Wörtern als auch Bäumen. Durch die Variation dieser Modelle ergibt sich eine große Anzahl von Syntheseproblemen für unterschiedliche Formalismen zur Beschreibung der Spezifikation sowie zur Implementierung der gewünschten Funktion. In diesem Projekt möchten wir die Entscheidbarkeit sowie ggfs. die genaueren Komplexitäten des Syntheseproblems für die unterschiedlichen automatentheoretischen Formalismen untersuchen.

Recent Publications

There are no publications

Record created 2023-01-31, last modified 2024-09-28

Similar records

Add to personal basket
Export as Author List with IDs BibTeX (UTF-8), EndNote XML, EndNote Text, RIS, MARC, Print MARC, MARCXML, DC,
Request correction
Submit fulltext

GSI Homepage \| GSI Library \| English Deutsch \| guest :: login GSI Repository
Search	Submit	Personalize Your alerts Your baskets Your searches	Help