منابع مشابه
Sequential Boolean Equations
The problem of solving sequential Boolean equations is shown to be equivalent to the problem of finding whether there exists a path on a labeled graph for every sequence of labels. Algorithms are given for testing whether a solution exists, and if a solution with a finite delay exists. In case of existence of solutions the algorithms provide them.
متن کاملBoolean reasoning - the logic of boolean equations
Interestingly, boolean reasoning the logic of boolean equations that you really wait for now is coming. It's significant to wait for the representative and beneficial books to read. Every book that is provided in better way and utterance will be expected by many peoples. Even you are a good reader or not, feeling to read this book will always appear when you find it. But, when you feel hard to ...
متن کاملBoolean Differential Equations
The expressiveness of Boolean Algebras is significantly extended by the Boolean Differential Calculus (BDC). The additionally defined differentials of Boolean variables, differentials and further differential operators of Boolean functions as well as several derivative operations of Boolean functions allow to model changes of function values together with changes of the values of variables and ...
متن کاملCompiling ARGOS into Boolean Equations
In most imperative synchronous languages (Esterel, Argos, State-charts,...), the semantics of the control structures may be conveniently described as compositions of Mealy machines. This constitutes the usual formal semantics of Argos, for instance, where basic components are Mealy machines. On the other hand, the compilation process should not be based upon an explicit generation of the Mealy ...
متن کاملSequential Convergences on Generalized Boolean Algebras
In this paper we investigate convergence structures on a generalized Boolean algebra and their relations to convergence structures on abelian lattice ordered groups.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computers
سال: 1969
ISSN: 0018-9340
DOI: 10.1109/t-c.1969.222636