SearcharxivSearch

arXiv subjects

Andres Moreira

Publications and source records attributed to Andres Moreira.

4 recordsLinked to original sources

On Conservative and Monotone One-dimensional Cellular Automata and Their Particle Representation

Number-conserving (or {\em conservative}) cellular automata have been used in several contexts, in particular traffic models, where it is natural to think about them as systems of interacting particles. In this article we consider several issues concerning one-dimensional cellular automata which are conservative, monotone (specially ``non-increasing''), or that allow a weaker kind of conservative dynamics. We introduce a formalism of ``particle automata'', and discuss several properties that they may exhibit, some of which, like anticipation and momentum preservation, happen to be intrinsic to the conservative CA they represent. For monotone CA we give a characterization, and then show that they too are equivalent to the corresponding class of particle automata. Finally, we show how to determine, for a given CA and a given integer $b$, whether its states admit a $b$-neighborhood-dependent relabelling whose sum is conserved by the CA iteration; this can be used to uncover conservative principles and particle-like behavior underlying the dynamics of some CA. Complements at {\tt http://www.dim.uchile.cl/\verb' 'anmoreir/ncca}

nlin.CG

Universality and Decidability of Number-Conserving Cellular Automata

Number-conserving cellular automata (NCCA) are particularly interesting, both because of their natural appearance as models of real systems, and because of the strong restrictions that number-conservation implies. Here we extend the definition of the property to include cellular automata with any set of states in $\Zset$, and show that they can be always extended to ``usual'' NCCA with contiguous states. We show a way to simulate any one dimensional CA through a one dimensional NCCA, proving the existence of intrinsically universal NCCA. Finally, we give an algorithm to decide, given a CA, if its states can be labeled with integers to produce a NCCA, and to find this relabeling if the answer is positive.

nlin.CG

Complexity of Langton's Ant

The virtual ant introduced by C. Langton has an interesting behavior, which has been studied in several contexts. Here we give a construction to calculate any boolean circuit with the trajectory of a single ant. This proves the P-hardness of the system and implies, through the simulation of one dimensional cellular automata and Turing machines, the universality of the ant and the undecidability of some problems associated to it.

nlin.CG

Genetic Algorithms for the Imitation of Genomic Styles in Protein Backtranslation

Several technological applications require the translation of a protein into a nucleic acid that codes for it (``backtranslation''). The degeneracy of the genetic code makes this translation ambiguous; moreover, not every translation is equally viable. The common answer to this problem is the imitation of the codon usage of the target species. Here we discuss several other features of coding sequences (``coding statistics'') that are relevant for the ``genomic style'' of different species. A genetic algorithm is then used to obtain backtranslations that mimic these styles, by minimizing the difference in the coding statistics. Possible improvements and applications are discussed.

physics.bio-ph