A universality theorem for the sequential behaviour of minimal F-automata

作者：Ciobanu Gabriel^*; Rudeanu Sergiu

来源：Publicationes Mathematicae-Debrecen, 2017, 90(1-2): 33-38.

DOI：10.5486/PMD.2017.7433

• Mealy and Moore automata
• category theory
• minimal automata
• sequential behaviours (of automata)

In a sequence of previous articles, we have dealt with the final behaviour of certain types of automata, including F-automata. In the present paper, we tackle the study of the sequential behaviour of F-automata. We construct a pair of adjoint functors (E*, N*) between the categories FA of reachable F-automata and the category FB* of sequential behaviours of F-automata. Thus, we provide a Goguen-like universality theorem for the sequential behaviour of F-automata.

• 出版日期2017