Projektdaten
Speichermechanismen als Monoide
Hochschule
TU Ilmenau
Fakultät/Einrichtung
Informatik und Automatisierung
Förderkategorie
DFG
Zeitraum
2015 - 2018
Drittmittelgeber
Deutsche Forschungsgemeinschaft
Stichwort
Bewilligungssumme, Auftragssumme
244.200,00 €
Abstract:
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.