Abstract
A system of algorithmic algebras is formed on the basis a modified Glushkov computer model. Data are formalized and specified at inputs and outputs of D-operators and, hence, the formal apparatus constructed is based on data. Some properties of D-operators and operations that form the signature of the algebras are proved and the possibility of construction of derived D-operators is shown.
Similar content being viewed by others
References
V. M. Glushkov, G. E. Tseitlin, and E. L. Yushchenko, Algebra, Languages, and Programming [in Russian], Naukova Dumka, Kyiv (1978).
F. I. Andon, A. E. Doroshenko, G. E. Tseitlin, and E. A. Yatsenko, Algebraic-Algorithmic Models and Methods of Parallel Programming [in Russian], Akademperiodika, Kyiv (2007).
V. G. Akulovskii, “An extended algebra of algorithms,” Problemy Programuvannya, No. 3, 3–15 (2007).
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).
G. E. Tseitlin, An Introduction to Algorithmics [in Russian], Sfera, Kyiv (1998).
N. P. Brusentsov, “Ternary dialectical logic,” Progr. Syst. Instr.: Temat. Sb., No. 2, MGU, Moscow (2001), pp. 36–44.
N. P. Brusentsov and Yu. S. Vladimirova, Ternary construct coding of Boolean expressions, Progr. Syst. Instr.: Temat. Sb., No. 3, MGU, Moscow (2002), pp. 6–10.
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 151–166, March–April 2012.
Rights and permissions
About this article
Cite this article
Akulovskiy, V.G. Data based algorithmic algebra. Cybern Syst Anal 48, 291–303 (2012). https://doi.org/10.1007/s10559-012-9408-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10559-012-9408-9