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

English Title

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

Type

journal article in Web of Science

Language

en

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

Released

05.12.2016

ISBN

1224-1784

Periodical

Analele Stiintifice Ale Universitatii Ovidius Constanta, Seria Matematica

Year of study

XXIV

Number

3

State

RO

Pages from

79

Pages to

100

Pages count

22

URL

Documents

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",
  annote="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.",
  chapter="130287",
  doi="10.1515/auom-2016-0049",
  howpublished="online",
  number="3",
  volume="XXIV",
  year="2016",
  month="december",
  pages="79--100",
  type="journal article in Web of Science"
}