Speichermechanismen als Monoide

• Antragsteller: Professor Dr. Dietrich Kuske
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2015 bis 2018
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 272263028

Gegenstand des Forschungsprojektes ist es, das Verhalten vonSpeichermechanismen mittels Monoiden zu beschreiben. Hierdurch sollder Zusammenhang von Eigenschaften der Automatenmodelle(algorithmisch, formalsprachlich) auf der einen und algebraischenEigenschaften der Monoide auf der anderen Seite erfaßtwerden. Insbesondere werden perfekte FIFO-Kanäle, Keller und Zähler,aber auch ihre imperfekten Varianten (z.B."lossy channels")untersucht.

• DFG-Verfahren: Sachbeihilfen