Publication result 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

English Title

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

Type

WoS Article

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.

English 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

Key words in English

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

Authors

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

RIV year

2017

Released

05.12.2016

ISBN

1224-1784

Periodical

Analele Stiintifice ale Universitatii Ovidius Constanta-Seria Matematica

Volume

XXIV

Number

3

State

Romania

Pages from

79

Pages to

100

Pages count

22

URL

http://www.anstuocmath.ro/mathematics//Anale2016Vvol3/4_Chvalina_J.__Krehlik_S.__Novak_M..pdf

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