Topic
Mobile automaton
About: Mobile automaton is a research topic. Over the lifetime, 2160 publications have been published within this topic receiving 63192 citations.
Papers published on a yearly basis
Papers
More filters
TL;DR: It is suggested that since virtual automata have the computational capacity to fill many of the functional roles played by the primary biomolecules, there is a strong possibility that the ‘molecular logic’ of life can be embedded within cellular automata and that, therefore, artificial life is a distinct possibility within these highly parallel computer structures.
693 citations
29 May 1995
TL;DR: It is proved that the reachability problem is undecidable for timed automata augmented with a single stopwatch, and an (optimal) PSPACE reachability algorithm is given for the case of initialized rectangular automata.
Abstract: Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify the precise boundary between decidability and undecidability of the reachability problem for hybrid automata. On the positive side, we give an (optimal) PSPACE reachability algorithm for the case of initialized rectangular automata, where all analog variables follow trajectories within piecewise-linear envelopes and are reinitialized whenever the envelope changes. Our algorithm is based on the construction of a timed automaton that contains all reachability information about a given initialized rectangular automaton. The translation has practical significance for verification, because it guarantees the termination of symbolic procedures for the reachability analysis of initialized rectangular automata. The translation also preserves the $\omega$-languages of initialized rectangular automata with bounded nondeterminism. On the negative side, we show that several slight generalizations of initialized rectangular automata lead to an undecidable reachability problem. In particular, we prove that the reachability problem is undecidable for timed automata augmented with a single stopwatch.
685 citations
Book•
21 Jun 2019
TL;DR: Primary Papers * Statistical Mechanics of Cellular Automata * Algebraic Properties of CellularAutomaton * Universality and Complexity in Cellular Automaton * Computation Theory of Cellular automaton * Undecidability and Intractability in Theoretical Physics
Abstract: Primary Papers * Statistical Mechanics of Cellular Automata * Algebraic Properties of Cellular Automata * Universality and Complexity in Cellular Automata * Computation Theory of Cellular Automata * Undecidability and Intractability in Theoretical Physics * Two-Dimensional Cellular Automata * Origins of Randomness in Physical Systems * Thermodynamics and Hydrodynamics of Cellular Automata * Random Sequence Generation by Cellular Automata * Approaches to Complexity Engineering * Minimal Cellular Automaton Approximations to Continuum Systems * Cellular Automaton Fluids: Basic Theory Additional And Survey Papers * Cellular Automata * Computers in Science and Mathematics * Geometry of Binomial Coefficients * Twenty Problems in the Theory of Cellular Automata * Cryptography with Cellular Automata * Complex Systems Theory * Cellular Automaton Supercomputing Appendices * Tables of Cellular Automaton Properties * Scientific Bibliography of Stephen Wolfram
601 citations
TL;DR: A molecular automaton, called MAYA, is described, which encodes a version of the game of tic-tac-toe and interactively competes against a human opponent and cannot be defeated because it implements a perfect strategy.
Abstract: We describe a molecular automaton, called MAYA, which encodes a version of the game of tic-tac-toe and interactively competes against a human opponent. The automaton is a Boolean network of deoxyribozymes that incorporates 23 molecular-scale logic gates and one constitutively active deoxyribozyme arrayed in nine wells (3x3) corresponding to the game board. To make a move, MAYA carries out an analysis of the input oligonucleotide keyed to a particular move by the human opponent and indicates a move by fluorescence signaling in a response well. The cycle of human player input and automaton response continues until there is a draw or a victory for the automaton. The automaton cannot be defeated because it implements a perfect strategy.
596 citations
01 Jan 1966
TL;DR: The theory of automata is shown not capable of representing the actual physical flow of information in the solution of a recursive problem and a theory of communication is proposed that yields a means of representation that with equal rigor and simplicity accomplishes more than the theory of synchronous automata.
Abstract: The theory of automata is shown not capable of representing the actual physical flow of information in the solution of a recursive problem. The argument proceeds as follows:
1. We assume the following postulates:
a) there exists an upper bound on the speed of signals;
b) there exists an upper bound on the density with which information can be stored.
2. Automata of fixed, finite size can recognize, at best, only iteratively defined classes of input sequences. (See Kleene (11) and Copi, Elgot, and Wright (8).)
3. Recursively defined classes of input sequences that cannot be defined iteratively can be recognized only by automata of unbounded size.
4. In order for an automaton to solve a (soluble) recursive problem, the possibility must be granted that it can be extended unboundedly in whatever way might be required.
5. Automata (as actual hardware) formulated in accordance with automata theory will, after a finite number of extensions, conflict with at least one of the postulates named above.
Suitable conceptual structures for an exact theory of communication are then discussed, and a theory of communication proposed.
All of the really useful results of automata theory may be expressed by means of these new concepts. Moreover, the results retain their usefulness and the new nrocedure has definite advantages over the older ones.
The proposed representation differs from each of the presently known theories concerning information on at least one of the following essential points:
1. The existence of a metric is assumed for either space nor time nor for other physical magnitudes.
2. Time is introduced as a strictly local relation between states.
3. The objects of the theory are discrete, and they are combined and produced only by means of strictly finite techniques.
The following conclusions drawn from the results of this work may be cited as of some practical interest:
1. The tolerance requirements for the response characteristics of computer components can be substantially weakened if the computer is suitably structured.
2. It is possible to design computers structurally in such a way that they are asynchronous, all parts operating in parallel, and can be extended arbitrarily without interrupting their computation.
3. For complicated organizational processes of any given sort the theory yields a means of representation that with equal rigor and simplicity accomplishes more than the theory of synchronous automata.
Diese Arbeit befasst sich mit den begrifflichen Grundlagen einer Theorie der Kommunikation. Die Aufgabe dieser Theorie soll es sein, moglichst viele Erscheinungen bei der Informationsubertragung und Informationswandlung in einheitlicher und exakter Weise zu beschreiben.
581 citations