References
A. N. Chebotarev, “Synthesis of a nondeterministic automaton from its logical specification, I”, Kibern. Sist. Anal., No. 5, 3–14 (1995).
A. N. Chebotarev, “Consistency checking of simple specifications of automaton systems”, Kibern. Sist. Anal., No. 3, 3–11 (1994).
Additional information
Part I was published in Kibernetika i Sistemnyi Analiz, No. 5, 1995.
Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 16–26, November–December, 1995.
Rights and permissions
About this article
Cite this article
Chebotarev, A.N. Synthesis of a nondeterministic automaton from its logical specification. II. Cybern Syst Anal 31, 793–801 (1995). https://doi.org/10.1007/BF02366616
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02366616