scientific article; zbMATH DE number 7649888

DOI10.4230/LIPICS.CALCO.2019.5MaRDI QIDQ5875345zbMATH OpenFDO

Authors Vincenzo Ciancia, Yde Venema

Publication date 3 February 2023

Full work available at URL https://doi.org/10.4230/LIPICS.CALCO.2019.5

zbMATH Keywords

bisimilaritycoalgebraomega-automataregular omega-languagesstreams

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Beyond -regular languages: T-regular expressions and their automata and logic counterparts
• A coalgebraic take on regular and -regular behaviours
• Coalgebraic Automata Theory: Basic Results
• scientific article; zbMATH DE number 1159571
• Mathematical Foundations of Computer Science 2004
• -automata
• ω-Automata
• Automata and languages generalized to \(\omega\)-continuous semirings
• scientific article; zbMATH DE number 1304993
• Automata for coalgebras: an approach using predicate liftings

Cites work

• A class of automata for the verification of infinite, resource-allocating behaviours
• A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves
• A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
• A syntactic congruence for rational -languages
• AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS
• Automata, logics, and infinite games. A guide to current research
• Categorical Büchi and parity conditions via alternating fixed points of functors
• Coalgebra learning via duality
• Efficient minimization of deterministic weak -automata
• Families of DFAs as acceptors of -regular languages
• Finite-state \(\omega\)-languages
• scientific article; zbMATH DE number 1304993 (Why is no real title available?)
• scientific article; zbMATH DE number 6851946 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• Learning regular omega languages
• Learning regular sets from queries and counterexamples
• On syntactic congruences for \(\omega\)-languages
• Powers of Regular Languages
• Stream Automata Are Coalgebras
• Ultimately periodic words of rational ω-languages
• Universal coalgebra: A theory of systems

Cited in

(6)

• On the generative power of -grammars and -automata
• Kleene theorems for lasso languages and -languages
• Dual adjunction between -automata and Wilke algebra quotients
• Kleene theorems for Lasso languages and -languages
• A no-go theorem for coalgebraic product construction
• Saturation problems for families of automata

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875345)