Toward a Uniform Theory of Effectful State Machines
نویسندگان
چکیده
منابع مشابه
Theory of uniform-motion electromagnetic machines
2014 In the first part of this paper, analogies between conventional rotating electromechanical machines (motors, alternators, etc...) and periodic-structure microwave electron tubes are made, and a common theory is elaborated. In the second part, this theory is used to define new types of rotating machines that will operate with electrical currents having a very wide frequency spectrum, or at ...
متن کاملToward Industrial Strength Abstract State Machines?
A powerful practical ASM language, called AsmL, is being developed in Microsoft Research by the group on Foundations of Software Engineering. AsmL extends the language of original ASMs in a number of directions. We describe some of these extensions. ? This paper was supposed to appear in the Proceedings of the ASM'01 Workshop held in February 2001 on the Canary Islands. The Proceedings were sup...
متن کاملLiquid State Machines: Motivation, Theory, and Applications
The Liquid State Machine (LSM) has emerged as a computational model that is more adequate than the Turing machine for describing computations in biological networks of neurons. Characteristic features of this new model are (i) that it is a model for adaptive computational systems, (ii) that it provides a method for employing randomly connected circuits, or even “found” physical objects for mean...
متن کاملA Modern Mathematical Theory of Co-operating State Machines
Valmari, Antti (2005). A Modern Mathematical Theory of Co-operating State Machines In Proceedings of the Algorithmic Information Theory Conference, Vaasa 2005. Proceedings of the University of Vaasa,Reports 124, 101–214. Eds S. Hassi, V. Keränen, C.-G. Källman, M. Laaksonen, and M. Linna. In this work we apply theoretical results from so-called process algebras to state machines, and develop th...
متن کاملδ-uniform BSS Machines
A δ-uniform BSS machine is a standard BSS machine which does not rely on exact equality tests. We prove that, for any real closed archimedean field R, a set is δ-uniformly semi-decidable iff it is open and semi-decidable by a BSS machine which is locally time bounded; we also prove that the local time bound condition is nontrivial. This entails a number of results about BSS machines, in particu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2020
ISSN: 1529-3785,1557-945X
DOI: 10.1145/3372880