3 papers
cs.FL2026
Languages and Recognition in a Category with Factorisation
Harsh Beohar, Mike Cruchten, Georg Struth
Language recognition by homomorphisms is a central construction of algebraic language theory. Initially studied for monoids and semigroups, it has subsequently been expanded to oth…
cs.FL2024
On Transition Constructions for Automata -- A Categorical Perspective
Mike Cruchten
We investigate the transition monoid construction for deterministic automata in a categorical setting and establish it as an adjunction. We pair this adjunction with two other adju…
cs.FL2024
Kleene Theorems for Lasso Languages and -Languages
Mike Cruchten
Automata operating on pairs of words were introduced as an alternative way of capturing acceptance of regular -languages. Families of DFAs and lasso automata operating on such p…