On co-counter-fragments of automata
Oleksiy Kurganskyy, Alexandra Maximova

TL;DR
This paper explores the structure and synthesis of automata using fragments, co-fragments, and counter-fragments, providing insights into their classification and relationships within automata theory.
Contribution
It introduces a detailed analysis of automata classes defined by various fragments and co-fragments, advancing understanding of automata structure and synthesis methods.
Findings
Characterization of automata classes via fragments and co-fragments
Structural insights into automata specified by defining relations
Framework for automata synthesis using fragments
Abstract
This paper contains results related to synthesis and presentation of abstract automata by fragments of behaviour and investigates the structure of the classes of finite connected initial output-less automata specified by systems of defining relations considered as fragments, co-fragments, counter-fragments and co-counter-fragments of automata.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory · DNA and Biological Computing · Formal Methods in Verification
