MAC Memos (1963 - 1974): Recent submissions
Now showing items 10-12 of 57
-
Decision Problems for Petri Nets and Vector Addition Systems
(1975-03)Petri Nets, Generalized Petri Nets, and Vector Addition Systems can represent each other and thus have common decideability problems. The graphical appeal of Petri Nets is used in a new presentation of the classical problems ... -
Decidability of Equivalence for a Class of Data Flow Schemas
(1975-03)In this paper we examine a class of computation schemas and consider the problem of deciding when pairs of elements in this class represent equivalent programs. We are able to show that equivalence is decidable for a ... -
On Bateson's Logical Levels of Learning Theory
(1975-02)
