**7. Conclusions**

In our paper, we defined conditions that the GMAC condition must satisfy. We also constructed algebraic a quasi-multiautomaton related to automata of the theory of formal languages. On top of that, we constructed a quasi-multiautomaton with a limited degree of nondeterminism. In contrast to nondeterministic automata of the theory of formal languages, where nondeterminism is caused by the transition function, the nondeterminism in our construction follows from the input hyperstructure. It is properties of the input hyperstructure that have the potential to yield interesting results in such nondeterministic quasi-multiautomata, which suggest a potential line of further research.

**Author Contributions:** Investigation, Š.K.; writing—original draft preparation, Š.K., M.N., J.V.; writing—review and editing, M.N. All authors have read and agreed to the published version of the manuscript.

**Funding:** The first author was supported by the Ministry of Transport within the program of longterm conceptual development of research organizations. The third author was supported by the FEKT-S-20-6225 grant of Brno University of Technology.

**Institutional Review Board Statement:** Not applicable.

**Informed Consent Statement:** Not applicable.

**Data Availability Statement:** Not applicable.

**Acknowledgments:** The authors would like to express their thanks to Christos Massouros for providing context and background for their thoughts.

**Conflicts of Interest:** The authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.

#### **References**

