On co-counter-fragments of automata

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.