Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures

Cites work

A completeness problem for pattern generation in tessellation automata
Cellular automata complexity trade-offs
scientific article; zbMATH DE number 3338162 (Why is no real title available?)
scientific article; zbMATH DE number 3363435 (Why is no real title available?)
scientific article; zbMATH DE number 3372030 (Why is no real title available?)
Simple Computation-Universal Cellular Spaces
Simple self-reproducing universal automata
Structural and behavioral equivalences of tessellation automata
Tesselations with local transformations
Tessellation Automata

Cited in

(only showing first 100 items - show all)

Linear cellular automata over \(Z_ m\)
Computation theory of cellular automata
An interconnection of local maps inducing onto global maps
Pattern decomposition for tessellation automata
The structure of reversible one-dimensional cellular automata
Survey of research in the theory of homogeneous structures and their applications
On reversibility in cellular automata
The behavioral properties of homogeneous structures
The vector string descriptor as a tool in the analysis of cellular automata systems
Computation and construction universality of reversible cellular automata
Certain relations between properties of maps of tessellation automata
(A-)synchronous (non)-deterministic cell spaces simulating each other
Decidability for some problems of linear cellular automata over finite commutative rings
Invertible linear cellular automata over \(\mathbb{Z}_m\): Algorithmic and dynamical aspects
Lyapunov exponent versus expansivity and sensitivity in cellular automata
Nonconstructible blocks in 1D cellular automata: minimal generators and natural systems
Reversibility and surjectivity problems of cellular automata
Group structured linear cellular automata over \(Z_ m\)
Inversion of 2D cellular automata: Some complexity results
Predecessors of cellular automata states. II: Pre-images of finite sequences
Rice's theorem for the limit sets of cellular automata
The surjectivity problem for 2D cellular automata
On computing the entropy of cellular automata.
Ergodicity, transitivity, and regularity for linear cellular automata over \(\mathbb{Z}_m\)
Graph-theoretical characterization of invertible cellular automata
Reversible space-time simulation of cellular automata
Reversibility of general 1D linear cellular automata over the binary field \(\mathbb{Z}_2\) under null boundary conditions
Procedures for calculating reversible one-dimensional cellular automata
Theory of cellular automata: a survey
Efficient exhaustive listings of reversible one dimensional cellular automata
On the size of the inverse neighborhoods for one-dimensional reversible cellular automata
Structure of the invertible CA transformations group
A closed formula for the inverse of a reversible cellular automaton with \((2 R + 1)\)-cyclic rule
Permutive one-way cellular automata and the finiteness problem for automaton groups
On the complexity of asynchronous freezing cellular automata
Reversibility of number-conserving 1D cellular automata: unlocking insights into the dynamics for larger state sets
On the conjugacy problem of cellular automata
On ergodic one-dimensional cellular automata
Pre-expansivity in cellular automata
A tight linear bound on the synchronization delay of bijective automata
Inverse rules of ECA with rule number 150
Reversibility problem of multidimensional finite cellular automata
Hybrid one-dimensional reversible cellular automata are regular
When-and how-can a cellular automaton be rewritten as a lattice gas?
Ternary reversible number-conserving cellular automata are trivial
Modeling and optimization for networked evolutionary games with player exit mechanism: semi-tensor product of matrices method
m-asynchronous cellular automata: from fairness to quasi-fairness
Characterization of 1-d periodic boundary reversible CA
Decidability and undecidability in cellular automata
Computation in reversible cellular automata
A characterization of cellular automata generated by idempotents on the full shift
Classes of languages generated by the Kleene star of a word
(Un)Decidability of Injectivity and Surjectivity in One-Dimensional Sand Automata
Distributed multi-authority attribute-based encryption using cellular automata
A two-layer representation of four-state reversible number-conserving 2D cellular automata
CELLULAR AUTOMATA OVER SEMI-DIRECT PRODUCT GROUPS: REDUCTION AND INVERTIBILITY RESULTS
Decidable Properties of 2D Cellular Automata
ON A CHARACTERIZATION OF CELLULAR AUTOMATA IN TILINGS OF THE HYPERBOLIC PLANE
A Cryptosystem Based on the Composition of Reversible Cellular Automata
PERIODIC CONFIGURATIONS OF SUBSHIFTS ON GROUPS
Some applications of propositional logic to cellular automata
Indecomposable local maps of tessellation automata
Recursive paths in cross-connected trees and an application to cell spaces
Cellular automata between sofic tree shifts
Local rule distributions, language complexity and non-uniform cellular automata
Local maps inducing surjective global maps of one-dimensional tessellation automata
On time-symmetry in cellular automata
Groups, graphs, languages, automata, games and second-order monadic logic
Asynchrony immune cellular automata
Characterization of sets of limit measures of a cellular automaton iterated on a random configuration
Three research directions in non-uniform cellular automata
Surprising areas in the quest for small universal devices
Reversibility of non-saturated linear cellular automata on finite triangular grids
On ergodic linear cellular automata over \(\mathbf{Z}_m\)
Intrinsic universality of a 1-dimensional reversible cellular automaton
Growing patterns in 1D cellular automata
Nondeterministic cellular automata
Simulation and intrinsic universality among reversible cellular automata, the partition cellular automata leverage
On radius 1 nontrivial reversible and number-conserving cellular automata
On the reversibility of ECAs with fully asynchronous updating: the recurrence point of view
UNCONVENTIONAL INVERTIBLE BEHAVIORS IN REVERSIBLE ONE-DIMENSIONAL CELLULAR AUTOMATA
Towards a neighborhood simplification of tile systems: from Moore to quasi-linear dependencies
On the structure of the set of reversible cellular automata
ON THE REVERSIBILITY OF 150 WOLFRAM CELLULAR AUTOMATA
ON THE COMPLEXITY OF COUNTING FIXED POINTS AND GARDENS OF EDEN IN SEQUENTIAL DYNAMICAL SYSTEMS ON PLANAR BIPARTITE GRAPHS
Simulating reversible Turing machines and cyclic tag systems by one-dimensional reversible cellular automata
Bulking II: Classifications of cellular automata
Real-time reversible one-way cellular automata
SPECTRAL PROPERTIES OF REVERSIBLE ONE-DIMENSIONAL CELLULAR AUTOMATA
Characterization of reversible intermediate boundary cellular automata
A survey of cellular automata: types, dynamics, non-uniformity and applications
Reversibility of elementary cellular automata with fully asynchronous updating: an analysis of the rules with partial recurrence
Decision algorithms for reversibility of 1D cellular automata under reflective boundary conditions
A Random NP-complete problem for inversion of 2D cellular automata
Complex wave functions, CPT and quantum field theory for classical generalized Ising models
A divide and conquer algorithm for deciding group cellular automata dynamics
FO logic on cellular automata orbits equals MSO logic
Not just the Garden of Eden: additional takes on cellular automata surjectivity
Two graphs: resolving the periodic reversibility of one-dimensional finite cellular automata
The constructibility of a configuration in a cellular automaton

This page was built for publication: Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2561573)