References
V. M. Glushkov, “Automata theory and formal transformations of microprograms,”Kibernetika, No. 1, 3–11 (1965).
V. M. Glushkov and A. A. Letichevskii, “Theory of discrete transformers,” in:Selected Topics of Algebra and Logic [in Russian], Nauka, Novosibirsk (1973), pp. 5–39.
A. A. Letichevskii, “Functional equivalence of discrete transformers. 1-3,”Kibernetika, No. 2, 15–17 (1969); No. 2, 14–21 (1970); No. 1, 1–5 (1971).
G. E. Tseitlin, “Identical transformations of structured program schemas with closed logical conditions. 1-3,”Kibernetika, No. 3, 50–57 (1978); No. 4, 10–18 (1978); No. 5, 44–51 (1979).
V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko,Symbolic Multiprocessing Methods [in Russian], Naukova Dumka, Kiev (1980).
E. L. Yushchenko, G. E. Tseitlin, V. P. Gritsai, and T. K. Terzyan,Multilevel Structured Program Design: Theoretical Foundations and Tools [in Russian], Finansy i Statistika, Moscow (1989).
Yu. V. Kapitonova and A. A. Letichevskii,Mathematical Theory of Computer System Design [in Russian], Nauka, Moscow (1988).
V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko,Algebras, Languages, Programming [in Russian], Naukova Dumka, Kiev (1974); 2nd revised edition (1978); 3rd revised and enlarged edition (1989); German edition, Akad.-Verlag, Berlin (1980).
E. L. Yushchenko and G. E. Tseitlin, “Multilevel structured program synthesis,”Kibernetika, No. 5, 11–21 (1982).
Yu. A. Yushchenko, “Identical transformations in algebras of nondeterministic algorithms. I, II,”Kibernetika, No. 6, 9–15 (1985), No. 6, 31–36 (1986).
S. V. Surzhko, “Net models of discrete information transformers,”Kibern. Sist. Anal., No. 5, 83–90 (1991).
S. V. Surzhko, “Evaluation of operators defined by regular schemas,”Kibernetika, No. 6, 75–77 (1989).
S. V. Surzhko, “Some classes of algorithmic algebras,”Kibernetika, No. 2, 108–112 (1990).
G. E. Tseitlin and E. L. Yushchenko, “Theoretical and applied aspects of structured parallel programming,”Kibernetika, No. 5, 38–48 (1987).
G. E. Tseitlin, “Design of symbolic processing algorithms,”Kibern. Sist. Anal., No. 2, 17–30 (1993).
G. E. Tseitlin and E. L. Yushchenko, “Formalized specifications and transformation program synthesis,”Kibern. Sist. Anal., No. 1, 127–153 (1993).
V. P. Panfilenko, “Consistency of formalized specifications in multilevel program design,”Kibern. Sist. Anal., No. 2, 73–85 (1993).
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 106–116, May–June, 1993.
Rights and permissions
About this article
Cite this article
Yushchenko, E.L., Tseitlin, G.E. & Surzhko, S.V. Glushkov algorithmic algebras and system modeling. Cybern Syst Anal 29, 391–398 (1993). https://doi.org/10.1007/BF01125545
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01125545