搜索结果: 1-15 共查到“理学 Automata”相关记录40条 . 查询时间(0.062 秒)
EXPANSIVE INVERTIBLE ONESIDED CELLULAR AUTOMATA
EXPANSIVE INVERTIBLE ONESIDED CELLULAR AUTOMATA
2015/9/29
We study expansive invertible onesided cellular automata (i.e., expansive automorphisms of onesided full shifts) and find severe dynamical and arithmetic constraints which provide partial answers to q...
JOINTLY PERIODIC POINTS IN CELLULAR AUTOMATA:COMPUTER EXPLORATIONS AND CONJECTURES
JOINTLY PERIODIC POINTS CELLULAR AUTOMATA COMPUTER EXPLORATIONS AND CONJECTURES
2015/9/29
We develop a rather elaborate computer program to investigate the jointly periodic points of one-dimensional cellular automata. The experimental results and mathematical context lead to questions, con...
Defining high-detail hazard maps by a cellular automata approach: application to Mount Etna (Italy)
automata approach Mount Etna
2015/8/27
The individuation of areas that are more likely to be affected by new events in volcanic regions is of fundamental relevance for the mitigation of the possible consequences, both in terms of loss of h...
A Characterization of Cellular Automata Generated by Idempotents on the Full Shift
cellular automata marker lemma products of idempotents decidability
2012/6/19
In this article, we discuss the family of cellular automata generated by so-called idempotent cellular automata (CA G such that G^2 = G) on the full shift. We prove a characterization of products of i...
Cellular Automata Rules and Linear Numbers
Cellular Automata linear and non-linear rules linear and non-linear numbers
2012/4/27
In this paper, linear Cellular Automta (CA) rules are recursively generated using a binary tree rooted at "0". Some mathematical results on linear as well as non-linear CA rules are derived. Integers ...
Boundary growth in one-dimensional cellular automata
Boundary growth one-dimensional cellular automata
2012/4/26
We systematically study the boundaries of one-dimensional, 2-color cellular automata depending on 4 cells, begun from simple initial conditions. We determine the exact growth rates of the boundaries t...
Non-Uniform Cellular Automata: classes, dynamics, and decidability
cellular automata non-uniform cellular automata decidability symbolic dynamics
2011/10/9
Abstract: The dynamical behavior of non-uniform cellular automata is compared with the one of classical cellular automata. Several differences and similarities are pointed out by a series of examples....
Abstracting an effective theory from a complicated process is central to the study of complexity. Even when the underlying mechanisms are understood, or at least measurable, the presence of dissipatio...
Negative bases and automata
numeration system sofic system Pisot number automaton transducer
2011/3/3
We study expansions in non-integer negative base − introduced by Ito and Sadahiro. Using countable automata associated with (− )-expansions, we characterize the case where the (− )-...
Together with the concept of reversibility, another relevant physical notion is time-symmetry, which expresses that there is no way of distinguishing between backward and forward time directions. This...
Groups defined by automata.
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g.,
Infinite Time Cellular Automata: A Real Computation Model
Infinite Time Cellular Automata Computation Model
2010/12/28
We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and infinite inputs; thu...
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comonads.
A Simulation of Oblivious Multi-Head One-Way Finite Automata by Real-Time Cellular Automata
Simulation of Oblivious Multi-Head One-Way Finite Automata Real-Time Cellular Automata
2010/12/28
In this paper, we present the simulation of a simple, yet significantly powerful, sequential model by cellular automata. The simulated model is called oblivious multi-head one-way finite automata and ...