Stream Automata Are Coalgebras - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Stream Automata Are Coalgebras

Résumé

Stream automata (also called ω-automata) and ω-regular languages are of paramount importance in Computer Science and Logic. A coalgebraic treatment of these structures has not been given yet. We study a simple two-sorted setting where deterministic Muller automata can be cast as coalgebras, so that coalgebraic bisimilarity coincides with language equivalence. From this characterisation, we derive concise and natural decision procedures for complementation, union, intersection, and equivalence check.
Fichier principal
Vignette du fichier
978-3-642-32784-1_6_Chapter.pdf (348.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01539881 , version 1 (15-06-2017)

Licence

Paternité

Identifiants

Citer

Vincenzo Ciancia, Yde Venema. Stream Automata Are Coalgebras. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.90-108, ⟨10.1007/978-3-642-32784-1_6⟩. ⟨hal-01539881⟩
47 Consultations
68 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More