Publication detail

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

CHVALINA, J. KŘEHLÍK, Š. NOVÁK, M.

Original Title

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

Type

journal article in Web of Science

Language

English

Original 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

Authors

CHVALINA, J.; KŘEHLÍK, Š.; NOVÁK, M.

Released

5. 12. 2016

ISBN

1224-1784

Periodical

Analele Stiintifice Ale Universitatii Ovidius Constanta, Seria Matematica

Year of study

XXIV

Number

3

State

Romania

Pages from

79

Pages to

100

Pages count

22

URL

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"
}