Storage mechanisms as monoids

• Applicant: Professor Dr. Dietrich Kuske
• Subject Area: Theoretical Computer Science
• Term: from 2015 to 2018
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 272263028

This research project models the behavior of storage mechanisms as monoids. Thereby, we investigate the relation between (language theoretic and algorithmic) properties of automata models on the one hand and algebraic properties of the monoids on the other hand. We consider in particular perfect fifo-channels, stacks and counter, but also their imperfect versions like lossy channels.

• DFG Programme: Research Grants