Abstract
The purpose of this paper is to ensure the existence of an axiom system which---contrary to [2]---leads to a uniform behaviour of all generalized arrays including basic scalars with respect to the function seal (enclose). The extension described hereafter takes up most of the ideas laid down in [1], but deviates from them in some respects while including additional tools and concepts such as---canonical tree representation of arrays---virtual indexing (indexing outside the index domain of an array)---a new concept for indexing including---virtual indexing---slice indexing, based on the outer product with respect to catenation---path indexing---an operator called composition operator (a generalization of reduction)---composition of operatorsFurthermore, the paper includes as a substantial part a simulation of a model of extended APL, as seen from an algebraic point of view. The model, intended as a working tool, was developed by the author at the Berufsförderungswerk in Heidelberg, Germany, and is contained in a workspace called HEIDELTREE.On the following pages I state the essential ideas in an informal way giving examples rather than definitions, but including the motivations for the reasoning whenever feasible in short terms.
- Gull, W. E., Jenkins, M.A., A contribution to the development of recursive data structures in APL, Technical Report No. 75--38, Queen's University, Kingston, Ontario, Canada, September 1975.Google Scholar
- Ghandour, Z., Mezei, J., General arrays, operators and functions. IBM J. Res. Develop., 17, 4 July 1973, 335--352.Google ScholarDigital Library
- Haegi, H. R., Some questions and thoughts concerning arrays of arrays, Proceedings of the SEAS-APL Working Committee, Jan. 1974.Google Scholar
Recommendations
Lattice pseudoeffect algebras as double residuated structures
Special Issue on Evolutionary Fuzzy SystemsPseudoeffect algebras are partial algebraic structures which are non-commutative generalizations of effect algebras. The main result of the paper is a characterization of lattice pseudoeffect algebras in terms of so-called pseudo Sasaki algebras. In ...
Are basic algebras residuated structures?
MV-algebras are bounded commutative integral residuated lattices satisfying the double negation and the divisibility laws. Basic algebras were introduced as a certain generalization of MV-algebras (where associativity and commutativity of the binary ...
Partial residuated structures and quantum structures
Residuated structures, bounded commutative residuated lattices in particular, play an important role in the study of algebraic structures of logics--classical and non-classical. In this paper, by introducing partial adjoint pairs, a new structure is ...
Comments