3 papers
cs.FL2025
Minimality Notions via Factorization Systems and Examples
Thorsten WiÃmann
For the minimization of state-based systems (i.e. the reduction of the number of states while retaining the system's semantics), there are two obvious aspects: removing unnecessary…
cs.FL2025
Algebraic Language Theory with Effects
Fabian Lenke, Stefan Milius, Henning Urbat +1
Regular languages -- the languages accepted by deterministic finite automata -- are known to be precisely the languages recognized by finite monoids. This characterization is the o…
cs.LO2024
Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
Thorsten WiÃmann, Stefan Milius
The initial algebra for an endofunctor F provides a recursion and induction scheme for data structures whose constructors are described by F. The initial-algebra construction by Ad…