Abstract
This paper deals with the systematical checking of the possible equality of two functions or what is the same, of two expressions. The nature of the problem is first considered. The concept of Universe is reexamined. The concepts of Object Attribute Power Table, Prime Universe, Prime Table and Canonical Expression, unique for each class of equivalent functions, are introduced. A procedure to determine the Canonical Expression is presented.
Preview
Unable to display preview. Download preview PDF.
References
Scot, D. Domains for Denotational Semantics. A connected and expanded Version of a paper prepared for ICALP, 1982, Aarhus, Denmark 1982.
Pawlak Z., Systemy Informacyjne, ANT, Warzawa, 1983
Vakarelow D. Consequence Relations and Information Systems in Slowinski, R Intelligent Decision Support, Kluwer A. Publ. Dordrecht 1992
Genesereth M. R., N.J. Nilsson Logical Foundations of Artificial Intelligence Morgan Kauffman Inc..-Los Altos, Calif. 1987
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miró, J., Miró-Juliá, M. (1996). Equality of functions in CAST. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034755
Download citation
DOI: https://doi.org/10.1007/BFb0034755
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60748-9
Online ISBN: 978-3-540-49358-7
eBook Packages: Springer Book Archive