Abstract
The functional behavior of a deterministic program is a function f:D→D, where D is some set of states for the computation. This notion of functional behaviors can be extended to nondeterministic programs using techniques from linear algebra. In particular, the functional behavior of a nondeterministic program is a linear transformation f:A→A, where A is a free semiring module. Other notions from linear algebra carry over into this setting. For example, weakest preconditions and predicate transformers correspond to well-studied concepts in linear algebra. Finally, we consider multiple-input and multiple-output programs. The functional behavior of a nondeterministic program with multiple inputs and outputs is a linear transformation f:⊗m A→⊗n A, where ⊗x A is an iterated tensor product of the semiring module A. This is in contrast to the deterministic case, where such a program is a function f:D m →D n, using the Cartesian products D m and D n.
This work was supported in part by National Science Foundation Grant MCS-8003433.
Preview
Unable to display preview. Download preview PDF.
References
D.B. Benson. Counting paths: nondeterminism as linear algebra, to appear in IEEE Trans. Software Engineering.
D.B. Benson. Studies in fork-join parallelism, Washington State University Technical Report CS-82-101, Pullman, WA 99164 (1982).
E.W. Dijkstra. Guarded commands, nondeterminacy and formal derivation of programs, CACM 18 (1975), 453–457.
E.W. Dijkstra. A Discipline of Programming, (Prentice-Hall, 1976).
P.A. Grillet. The tensor product of semi-groups, Trans. Amer. Math. Soc. 138 (1969), 267–280.
P.A. Grillet. The tensor product of commutative semi-groups, Trans. Amer. Math. Soc. 138 (1969), 281–293.
M.C.B. Hennessy and G.D. Plotkin. Full abstraction for a simple parallel programming language, in: Mathematical Foundations of Computer Science 79, LNCS 74, (Springer-Verlag, 1979), 108–120.
D. Kozen. Semantics of probabilistic programs, JCSS 22 (1981), 328–350.
S. MacLane and G. Birkhoff. Algebra, (MacMillan Publishing Co., 1979).
M.G. Main and D.B. Benson. An algebra for nondeterministic distributed processes, Washington State University Technical Report CS-82-087, Pullman, WA 99164 (1982).
E.G. Manes. A Class of Fuzzy Theories, J. Math. Analysis and Applications 85 (1982), 409–451.
G.D. Plotkin. A powerdomain construction, SIAM J. Computing 5 (1976), 452–487.
A. Poigné. Using least fixed points to characterize formal computations of non-determinate equations, in: Formalizations of Programming Concepts (J. Diaz and I. Ramos, Eds.), LNCS 107, (Springer-Verlag, 1981), 447–459.
A. Poigné. On effective computations of nondeterministic schemes, in: 5th International Symposium on Programming, LNCS 137, (Springer-Verlag, 1982), 323–336.
N. Saheb-Djahromi. CPO's of measures for nondeterminism, TCS 12 (1980), 19–37.
M. Smyth. Powerdomains, JCSS 16 (1978)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Main, M.G., Benson, D.B. (1983). Functional behavior of nondeterministic programs. In: Karpinski, M. (eds) Foundations of Computation Theory. FCT 1983. Lecture Notes in Computer Science, vol 158. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12689-9_112
Download citation
DOI: https://doi.org/10.1007/3-540-12689-9_112
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12689-8
Online ISBN: 978-3-540-38682-7
eBook Packages: Springer Book Archive