TY - JOUR
T1 - Cascade Connections and Triangular Products of Linear Automata
AU - Plotkin, B.
AU - Plotkin, T.
PY - 2014/3
Y1 - 2014/3
N2 - In this note, we focus again on the basics of triangular product of automata construction and to introduce the notion of linear automata complexity. It contains three main results. (1) For any two pure automata we consider the category of their cascade connections. It possesses the universal terminal object. This object is the wreath product of the automata. Hence, every cascade connection admits a natural embedding into the wreath product of automata. (2) A similar theory is developed for linear automata, where we also consider the category of cascade connections. It also has the terminal object. This object is the triangular product of linear automata. (3) Triangular products have various applications. This construction is used in linear automata decomposition theory and in the definition of complexity of a linear automaton. We consider a special linear complexity and give the rule for its calculation.
AB - In this note, we focus again on the basics of triangular product of automata construction and to introduce the notion of linear automata complexity. It contains three main results. (1) For any two pure automata we consider the category of their cascade connections. It possesses the universal terminal object. This object is the wreath product of the automata. Hence, every cascade connection admits a natural embedding into the wreath product of automata. (2) A similar theory is developed for linear automata, where we also consider the category of cascade connections. It also has the terminal object. This object is the triangular product of linear automata. (3) Triangular products have various applications. This construction is used in linear automata decomposition theory and in the definition of complexity of a linear automaton. We consider a special linear complexity and give the rule for its calculation.
UR - https://www.scopus.com/pages/publications/84893915991
U2 - 10.1007/s10958-014-1735-0
DO - 10.1007/s10958-014-1735-0
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84893915991
SN - 1072-3374
VL - 197
SP - 565
EP - 572
JO - Journal of Mathematical Sciences (United States)
JF - Journal of Mathematical Sciences (United States)
IS - 4
ER -