"Realization of Events by Logical Nets", in Journal of the Association for Computing Machinery"

COPI, Irving and Calvin Elgot ,with Jesse B. Wright. "Realization of Events by Logical Nets", in Journal of the Association for Computing Machinery", April 1958, vol 5/2, pp 181-196 in the issue of pp 119-203. Original wrappers. If not for a pressure mark on the bottom right corner, this would be a FINE, clean, and crisp issue. [++] "In [his important and highly-referenced paper] Representation of Events in Nerve Nets and Finite Automata , S. C. Kleene obtains a number of interesting results. The most important of these, his analysis and synthesis theorems (theorems 5 and 3), are obscured both by the complexity of his basic concepts and by the nature of the elements used in his nets. In this paper we give a new formulation and new proofs of Kleene’s analysis and synthesis theorems, in which we presuppose no acquaintance with Kleene’s work. We use simpler basic concepts and construct our nets out of more familiar and convenient elements (see section 4). The simplified formulation and proofs should make these important results more widely accessible. "—From the abstract for the Copi et al paper.…