Quasivarieties of automata. Connections with quasigroups
type: Item
instance of: scholarly article
title: Quasivarieties of automata. Connections with quasigroups
zbMATH Open document ID: 0622.68050
DOI: 10.1007/BF00968618
author: A. A. Gvaramiya
published in: Siberian Mathematical Journal
publication date: 1985-01-01T00:00:00Z
review text: \textit{P. J. Higgins} [Math. Nachr. 27, 115-132 (1963; Zbl 0117.259)] gave an invariant characteristic of varieties of many-sorted algebras (cf. \textit{B. I. Plotkin}, \textit{Ts. E. Dididze}, and \textit{E. M. Kublanova} [Kibernetika 1977, No.1, 47-54 (1977; Zbl 0356.94062)] for its application to automata). The corresponding characteristic of quasivarieties, that generalizes Mal'tsev's well-known theorem, can be found in the author's ''Quasivarieties in many-sorted algebras'' [Theses of Brief Communications, Int. Math. Conf., Warsaw 1983, Section II, Algebra, p. 20 (1983)]: A class of many-sorted algebras is a quasivariety if, and only if, it is closed relative to filtered products, is hereditary and contains the identity algebra. In our paper, this characteristic is applied to automata. Our paper consists of three sections. The first two are devoted to quasivarieties of automata. We define classes of automata, saturated relative to input and output signals. Section 3 is devoted to an application of the methods of many-sorted algebras to the theory of quasigroups. This application is founded upon the concept of reversible automaton.
Mathematics Subject Classification ID: 68Q70
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 20N05
Mathematics Subject Classification ID: 08B05
zbMATH DE Number: 4009826
zbMATH Keywords: many-sorted algebras
zbMATH Keywords: quasivariety
zbMATH Keywords: filtered products
zbMATH Keywords: quasivarieties of automata
zbMATH Keywords: reversible automaton
MaRDI profile type: Publication
cites work: Algebras with a Scheme of Operators
cites work: Q3043348
cites work: Q5650903
cites work: Q5596857
cites work: Q4053830
Recommended article: Q3681945
Recommended article: Automata over abstract finite quasigroups
Recommended article: Q4257108
Recommended article: Automata over finite T-quasigroups
Recommended article: Quasi-automatic semigroups
Recommended article: Varieties of automata and transformation semigroups
Recommended article: Some results on the relation between automata and their automorphism groups
Recommended article: Q3735956
Recommended article: QUASIGROUP HOMOTOPIES, SEMISYMMETRIZATION, AND REVERSIBLE AUTOMATA
description: scientific article; zbMATH DE number 4009826