Recognisable Languages over Monads

  • Mikoo Laj, Boja´nczyk
  • Published 2015


This paper proposes monads as a framework for algebraic language theory. Examples of monads include words and trees, finite and infinite. Each monad comes with a standard notion of an algebra, called an Eilenberg-Moore algebra, which generalises algebras studied in language theory like semigroups or ω-semigroups. On the abstract level of monads one can… (More)


1 Figure or Table