Abstract:Despite its success in producing numerous general results on state-based dynamics, the theory of coalgebra has struggled to accommodate the Büchi acceptance condition-a basic notion in the theory of automata for infinite words or trees. In this paper we present a clean answer to the question that builds on the "maximality" characterization of infinite traces (by Jacobs and Cîrstea): the accepted language of a Büchi automaton is characterized by two commuting diagrams, one for a least homomorphism and the other… Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.