Abstract
Sets of primitive operations for algebras with numerical and bit string domains are classified according to their computational efficiency. The relative complexity of certain basic operations on such algebras is determined.
Similar content being viewed by others
References
N. A. Lynch and E. K. Blum, Relative Complexity of Algebras, (to be published).
N. A. Lynch and E. K. Blum, Efficient Reducibility Between Programming Systems,Proceedings of Ninth Annual Symposium on Theory of Computation, ACM, Boulder, 228–238 (1977).
A. Chandra, Efficient Compilation of Linear Recursive Programs,14th Annual Symposium on Switching and Automata Theory, October 15–17, 16–25 (1973).
D. Kfoury, Comparing Algebraic Structures up to Algorithmic Equivalence in Automata,Languages and Programming, Ed. M. Nivat, North-Holland/ Elsevier, 253–263 (1973). See also Translatability of Schemes over Restricted Interpretations,J. Comp. and Syst. Sciences 8, 387–408 (1974).
A. V. Aho, J. E. Hopcroft, and J. D. Ullman,The Design and Analysis of Computer Algorithms, Addison-Wesley Publishing Company, 1976.
P. Fischer, A. Meyer, and A. Rosenberg, Real-time Simulation of Multihead Tape Units,JACM 19, 590–607, (1972).
B. Leong and J. Seiferas, New Real-time Simulations of Multilevel Tape Units.Ninth Annual Symposium on Theory of Computation, ACM, Boulder, 239–247 (1977).
N. A. Lynch, Straight-Line Program Length as a Parameter for Complexity Measures,Theoretical Computer Science, (to appear). Also seeProceedings of Tenth Annual ACM Symposium on Theory of Computing, San Diego, 150–161, (1978).
L. J. Stockmeyer, Arithmetic Versus Boolean Operations in Idealized Register Machines,IBM RC 5954, (A 25 837).
N. A. Lynch and E. K. Blum, A Difference in Expressive Power Between Flowcharts and Recursion Schemes,Mathematics Systems Theory 12, 205–211 (1979).
G. Grätzer,Universal Algebra, Van Nostrand, Princeton, N.J., 1968.
P. M. Cohn,Universal Algebra, Harper and Row, N.Y., 1965.
A. I. Malcev,Algebraic Systems, Springer-Verlag, N.Y., 1973.
Author information
Authors and Affiliations
Additional information
This research was partially supported by NSF Grant DCR75-02373.
This research was partially supported by NSF Grant MCS77-15628 and MCS78-01689.
This research was partially supported by NSF Grant MCS78-07461.
Rights and permissions
About this article
Cite this article
Lynch, N., Blum, E.K. Relative complexity of operations on numeric and bit-string algebras. Math. Systems Theory 13, 187–207 (1979). https://doi.org/10.1007/BF01744295
Received:
Revised:
Issue date:
DOI: https://doi.org/10.1007/BF01744295


