Detail publikačního výsledku

n-ary Cartesian composition of automata

NOVÁK, M.; KŘEHLÍK, Š.; STANĚK, D.

Originální název

n-ary Cartesian composition of automata

Anglický název

n-ary Cartesian composition of automata

Druh

Článek WoS

Originální abstrakt

In our paper, we construct Cartesian composition of automata in a way rather different from the classical approach. In our case, the resulting structure is not an automaton but a quasi-multiautomaton, i.e., a structure whose input alphabet is a semi-hypergroup instead of a set or a free monoid. In our reasoning, we make use of earlier results on complete (semi)hypergroups and show that this approach not only simplifies our construction but also yields some natural applications.

Anglický abstrakt

In our paper, we construct Cartesian composition of automata in a way rather different from the classical approach. In our case, the resulting structure is not an automaton but a quasi-multiautomaton, i.e., a structure whose input alphabet is a semi-hypergroup instead of a set or a free monoid. In our reasoning, we make use of earlier results on complete (semi)hypergroups and show that this approach not only simplifies our construction but also yields some natural applications.

Klíčová slova

Cartesian composition of automata; Complete hypergroup; EL-semihypergroup; Hypergroup; Theory of automata

Klíčová slova v angličtině

Cartesian composition of automata; Complete hypergroup; EL-semihypergroup; Hypergroup; Theory of automata

Autoři

NOVÁK, M.; KŘEHLÍK, Š.; STANĚK, D.

Rok RIV

2021

Vydáno

24.01.2020

Nakladatel

SPRINGER

Místo

NEW YORK

ISSN

1432-7643

Periodikum

SOFT COMPUTING

Svazek

24

Číslo

3

Stát

Spojené státy americké

Strany od

1837

Strany do

1849

Strany počet

13

URL

https://link.springer.com/article/10.1007/s00500-019-04015-1

BibTex

@article{BUT162757,
  author="Michal {Novák} and Štěpán {Křehlík} and David {Staněk}",
  title="n-ary Cartesian composition of automata",
  journal="SOFT COMPUTING",
  year="2020",
  volume="24",
  number="3",
  pages="1837--1849",
  doi="10.1007/s00500-019-04015-1",
  issn="1432-7643",
  url="https://link.springer.com/article/10.1007/s00500-019-04015-1"
}