Result Details

Cartesian composition and the problem of generalizing the MAC condition to quasi-multiautomata

CHVALINA, J.; KŘEHLÍK, Š.; NOVÁK, M. Cartesian composition and the problem of generalizing the MAC condition to quasi-multiautomata. Analele Stiintifice ale Universitatii Ovidius Constanta-Seria Matematica, 2016, vol. XXIV, no. 3, p. 79-100. ISSN: 1224-1784.
Type
journal article
Language
English
Authors
Chvalina Jan, prof. RNDr., DrSc., UMAT (FEEC)
Křehlík Štěpán, RNDr., Ph.D.
Novák Michal, doc. RNDr., Ph.D., UMAT (FEEC)
Abstract

When we assume that the input-set of an automaton without output is a semihypergroup instead of a monoid, we talk about quasi-multiautomata. Even though cartesian composition of quasi-automata is a commonly used concept, the cartesian composition of quasi-multiautomata has not been successfully constructed yet. In our paper we show that the straightforward transfer of the definition into the multivariate context fails. We suggest two possible solutions of this problem.

Keywords

hyperstructure theory, quasi-ordered semigroup, automata, generalization of automata, quasi-automata

URL
Published
2016
Pages
79–100
Journal
Analele Stiintifice ale Universitatii Ovidius Constanta-Seria Matematica, vol. XXIV, no. 3, ISSN 1224-1784
DOI
10.1515/auom-2016-0049
UT WoS
000392747700005
EID Scopus
2-s2.0-85009971773
BibTeX 
@article{BUT130287,
  author="Jan {Chvalina} and Štěpán {Křehlík} and Michal {Novák}",
  title="Cartesian composition and the problem of generalizing the MAC condition to quasi-multiautomata",
  journal="Analele Stiintifice ale Universitatii Ovidius Constanta-Seria Matematica",
  year="2016",
  volume="XXIV",
  number="3",
  pages="79--100",
  doi="10.1515/auom-2016-0049",
  issn="1224-1784",
  url="http://www.anstuocmath.ro/mathematics//Anale2016Vvol3/4_Chvalina_J.__Krehlik_S.__Novak_M..pdf"
}
Departments
Department of Mathematics (UMAT)
Back to top