On Autonomous Logic Nets of Threshold Elements
نویسندگان
چکیده
A model of autonomous logic nets composed of n threshold elements is presented and several properties of a single threshold element are generalized to this model. The number of these nets is shown to be 2kn (-<k<l) for completely specified machines. The capacity of the net is defined and conjectured to be 2, similar to the case of a single threshold element. P and NPN Manuscript received October 26, 1966; revised August 2, 1967, November 10, 1967, and December 19, 1967. S. Yajima was with the Dept. of Electronics, and is now with the Dept. of Elec. Engrg. II, Kyoto University, Kyoto, Japan. T. Ibaraki was with the Dept. of Electronics, Kyoto University, Kyoto, Japan. He is now with the Dept. of Computer Science, University of Illinois. Urbana, Ill. I. Kawano was with the Dept. of Electronics, Kyoto University, Kyoto, Japan. Hle is now with Hitachi Ltd., Yokohama, Japan. classifications of the machines are proposed and applied to the enumeration of all periodic sequences of length 2n (n<4) realizable by this net. The state assignment problem of the net is also treated. The existence of transition diagrams which cannot be realized by this model for any state assignment, or of those that can be realized for any state assignment, is shown, and it turns out that almost all completely specified machines belong to the former class when n is sufficiently large. Considering the synthesis of a net, an application of learning procedure is also discussed and it is pointed out that only periodic sequences of length 2" can be learned automatically.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملProof nets and free semi-⋆-autonomous categories
In this paper it is proved that Girard’s proof nets for multiplicative linear logic characterise free semi-⋆-autonomous-categories.
متن کاملProof nets and semi-⋆-autonomous categories
In this paper it is proved that Girard's proof nets for multiplicative linear logic characterise free semi-⋆-autonomous-categories.
متن کاملFrom Proof nets to the Free *-Autonomous Categories
In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theory of unit-free multiplicative proof nets. A linking is no longer a set of axiom links but a tree in which the axiom links are subtrees. These trees will be identified according to an equivalence relation based on a simple form ...
متن کاملProfunctor Semantics for Linear Logic
Linear logic is a sort of “resource-aware” logic underlying intuitionistic logic. Investigations into the proof theory of this logic typically revolve around proof nets, certain two-dimensional graphical representations of proofs. Where sequent calculus deductions enforce arbitrary distinctions between proofs and complicate these investigations, proof nets represent sequent calculus deductions ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEEE Trans. Computers
دوره 17 شماره
صفحات -
تاریخ انتشار 1968