#### Filter Results:

- Full text PDF available (16)

#### Publication Year

2008

2017

- This year (1)
- Last 5 years (9)
- Last 10 years (20)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jarkko Kari, Siamak Taati
- 2013

Reversible cellular automata are seen as microscopic physical models, and their states of macroscopic equilibrium are described using invariant probability measures. Characterizing all the invariant measures of a cellular automaton could be challenging. Nevertheless, we establish a connection between the invariance of Gibbs measures (used in statistical… (More)

- Jarkko Kari, Siamak Taati
- JAC
- 2008

The problem of describing the dynamics of a conserved energy in a cellular automaton in terms of local movements of “particles” (quanta of that energy) has attracted some people’s attention. The one-dimensional case was already solved by Fukś (2000) and Pivato (2002). For the two-dimensional cellular automata, we show that every (contextfree) conservation… (More)

- Enrico Formenti, Jarkko Kari, Siamak Taati
- CSR
- 2008

We study the group-valued and semigroup-valued conservation laws in cellular automata (CA). We provide examples to distinguish between semigroup-valued, group-valued and real-valued conservation laws. We prove that, even in one-dimensional case, it is undecidable if a CA has any non-trivial conservation law of each type. For a fixed range, each CA has a… (More)

- Tim Boykett, Jarkko Kari, Siamak Taati
- J. Cellular Automata
- 2008

A 1D Reversible Cellular Automata (RCA) with forward and backward radius2 neighborhoods is called Rectangular. It was previously conjectured that the conservation laws in 1D Rectangular RCA can be described as linear combinations of independent constant-speed flows to the right or to the left. This is indeed the case; so is a similar statement about a more… (More)

- Jarkko Kari, Siamak Taati
- Automata
- 2011

We discuss a close link between two seemingly different topics studied in the cellular automata literature: additive conservation laws and invariant probability measures. We provide an elementary proof of a simple correspondence between invariant full-support Bernoulli measures and interaction-free conserved quantities in the case of onedimensional… (More)

- Enrico Formenti, Jarkko Kari, Siamak Taati
- Natural Computing
- 2010

Conservation laws in cellular automata (CA) are studied as an abstraction of the conservation laws observed in nature. In addition to the usual real-valued conservation laws we also consider more general group-valued and semigroup-valued conservation laws. The (algebraic) conservation laws in a CA form a hierarchy, based on the range of the interactions… (More)

- Siamak Taati
- Automata
- 2015

The density classification task is to determine which of the symbols appearing in an array has the majority. A cellular automaton solving this task is required to converge to a uniform configuration with the majority symbol at each site. It is not known whether a one-dimensional cellular automaton with binary alphabet can classify all Bernoulli random… (More)

- Silvio Capobianco, Jarkko Kari, Siamak Taati
- Discrete Mathematics & Theoretical Computer…
- 2017

- Siamak Taati
- Handbook of Natural Computing
- 2012

A conservation law in a cellular automaton is the statement of the invariance of a local and additive energy-like quantity. This chapter reviews the basic theory of conservation laws in cellular automata. A general mathematical framework for formulating conservation laws in cellular automata is presented and several characterizations of them are summarized.… (More)

- Amir Daneshgar, Alireza Rahimi, Siamak Taati
- Int. J. Comput. Math.
- 2013