Studie se zabývá dvěma klíčovými problémy kvazimultiautomatů: obtížnou verifikací GMAC podmínky a odklonem od původní teorie automatů. Navrhuje nová zjednodušení a představuje konstrukci blízkou deterministickým automatům.
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 quasimultiautomata, which corresponds to deterministic automata of the theory of formal languages and is based on the operation of concatenation.