From Automata to Multiautomata via Theory of Hypercompositional Structures

Štěpán Křehlík, Michal Novák and Jana Vyroubalová
Additional contact information
Štěpán Křehlík: CDV—Transport Research Centre, Líšeňská 33a, 636 00 Brno, Czech Republic
Michal Novák: Faculty of Electrical Engineering and Communication, Brno University of Technology, 616 00 Brno, Czech Republic
Jana Vyroubalová: Faculty of Electrical Engineering and Communication, Brno University of Technology, 616 00 Brno, Czech Republic

Mathematics, 2021, vol. 10, issue 1, 1-16

Abstract: In this paper, we study two important problems related to quasi-multiautomata: the complicated nature of verification of the GMAC condition for systems of quasi-multiautomata, and the fact that the nature of quasi-multiautomata has deviated from the original nature of automata as seen by the theory of formal languages. For the former problem, we include several new conditions that simplify the procedure. For the latter problem, we close this gap by presenting a construction of quasi-multiautomata, which corresponds to deterministic automata of the theory of formal languages and is based on the operation of concatenation.

Keywords: automata theory; hypergroups; quasi-automata; quasi-multiautomata; semiautomata (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2021
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/10/1/1/pdf (application/pdf)
https://www.mdpi.com/2227-7390/10/1/1/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:10:y:2021:i:1:p:1-:d:707202

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().