Abstract
The following three conditions for nondeterministic finite-state automata are defined: input embeddability, output embeddability, and input decomposability. Automata satisfying these conditions are called nondeterministic automata with embeddability. A method for deterministic implementation of such automata with retention of the numbers of their states is proposed. These automata correspond to block-procedural high-level programming languages.
Similar content being viewed by others
References
B. A. Trakhtenbrot and Ya. M. Barzdin, Finite-State Automata (Behavior and Synthesis)[in Russian], Nauka, Moscow (1970).
Author information
Authors and Affiliations
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 55–62, May–June, 2000.
Rights and permissions
About this article
Cite this article
Shishkov, D.P. Sufficient conditions of deterministic implementation of finite-state automata with retention of the numbers of their states. Cybern Syst Anal 36, 359–365 (2000). https://doi.org/10.1007/BF02732986
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02732986