Automata Learning: A Categorical Perspective

DOI10.1007/978-3-319-06880-0_20MaRDI QIDQ5418974zbMATH OpenOpenAlexFDO

Authors Bart Jacobs, Alexandra Silva

Publication date 2 June 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06880-0_20

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational learning theory (68Q32) Categories of machines, automata (18B20)

Recommendations

• A categorical framework for learning generalised tree automata
• Automata Learning
• CALF: categorical automata learning framework
• New topics in learning automata theory and applications
• Recent advances in learning automata
• The learnability of symbolic automata
• AUTOMATA IN CATEGORIES AND REGULAR LANGUAGES
• Automata learning with automated alphabet abstraction refinement

Cites work

• scientific article; zbMATH DE number 3460178 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 1304993 (Why is no real title available?)
• Adjoint machines, state-behavior machines, and duality
• Algebra-coalgebra duality in Brzozowski's minimization algorithm
• Antichains: A New Algorithm for Checking Universality of Finite Automata
• Beyond Bisimulation: The “up-to” Techniques
• Brzozowski's algorithm (co)algebraically
• Brzozowski's and up-to algorithms for must testing
• Checking NFA equivalence with bisimulations up to congruence
• Coalgebraic bisimulation-up-to
• Enhancements of the bisimulation proof method
• Learning regular sets from queries and counterexamples
• Weighted Bisimulation in Linear Algebraic Form

Cited in

(13)

• A categorical framework for learning generalised tree automata
• Learning automata with side-effects
• Learning pomset automata
• Coalgebra learning via duality
• Towards a unified view of finite automata and semi-Markov flowgraph models
• Learning Moore machines from input-output traces
• Learning to coordinate
• Automata Learning through Counterexample Guided Abstraction Refinement
• Learning automata and transducers: a categorical approach
• CGE: a sequential learning algorithm for Mealy automata
• Learning Transparent Data Automata
• A new approach for active automata learning based on apartness
• CALF: categorical automata learning framework

Describes a project that uses

Uses Software

• Antichains

This page was built for publication: Automata Learning: A Categorical Perspective

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