References
A. N. Chebotarev, “An approach to functional specification of automaton systems, I, II, III,” Kibern. Sistem. Anal., No. 3, 31–32, No. 4, 3–14, No. 5, 3–17 (1993).
A. N. Chebotarev, “Testing consistency of simple specifications of automaton systems,” Kibern. Sistem. Anal., No. 3, 3–11 (1994).
M. K. Morokhovets and A. N. Chebotarev, “Resolution approach to testing consistency of interacting automata”, Kibern. Sistem. Anal., No. 6, 36–50 (1994).
A. N. Chebotarev, “Interacting automata,” Kibern. Sistem. Anal., No. 6, 17–29 (1991).
C.-L. Chang and R. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York (1973).
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 3–12, January–February, 1995.
Rights and permissions
About this article
Cite this article
Chebotarev, A.N. Determinization of logical specifications of automata. Cybern Syst Anal 31, 1–7 (1995). https://doi.org/10.1007/BF02366789
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02366789