3,497 research outputs found
On cascade products of answer set programs
Describing complex objects by elementary ones is a common strategy in
mathematics and science in general. In their seminal 1965 paper, Kenneth Krohn
and John Rhodes showed that every finite deterministic automaton can be
represented (or "emulated") by a cascade product of very simple automata. This
led to an elegant algebraic theory of automata based on finite semigroups
(Krohn-Rhodes Theory). Surprisingly, by relating logic programs and automata,
we can show in this paper that the Krohn-Rhodes Theory is applicable in Answer
Set Programming (ASP). More precisely, we recast the concept of a cascade
product to ASP, and prove that every program can be represented by a product of
very simple programs, the reset and standard programs. Roughly, this implies
that the reset and standard programs are the basic building blocks of ASP with
respect to the cascade product. In a broader sense, this paper is a first step
towards an algebraic theory of products and networks of nonmonotonic reasoning
systems based on Krohn-Rhodes Theory, aiming at important open issues in ASP
and AI in general.Comment: Appears in Theory and Practice of Logic Programmin
On algebraic cellular automata
We investigate some general properties of algebraic cellular automata, i.e.,
cellular automata over groups whose alphabets are affine algebraic sets and
which are locally defined by regular maps. When the ground field is assumed to
be uncountable and algebraically closed, we prove that such cellular automata
always have a closed image with respect to the prodiscrete topology on the
space of configurations and that they are reversible as soon as they are
bijective
COMPUTER SIMULATION AND COMPUTABILITY OF BIOLOGICAL SYSTEMS
The ability to simulate a biological organism by employing a computer is related to the
ability of the computer to calculate the behavior of such a dynamical system, or the "computability" of the system.* However, the two questions of computability and simulation are not equivalent. Since the question of computability can be given a precise answer in terms of recursive functions, automata theory and dynamical systems, it will be appropriate to consider it first. The more elusive question of adequate simulation of biological systems by a computer will be then addressed and a possible connection between the two answers given will be considered. A conjecture is formulated that suggests the possibility of employing an algebraic-topological, "quantum" computer (Baianu, 1971b)
for analogous and symbolic simulations of biological systems that may include chaotic processes that are not, in genral, either recursively or digitally computable. Depending on the biological network being modelled, such as the Human Genome/Cell Interactome or a trillion-cell Cognitive Neural Network system, the appropriate logical structure for such simulations might be either the Quantum MV-Logic (QMV) discussed in recent publications (Chiara, 2004, and references cited therein)or Lukasiewicz Logic Algebras that were shown to be isomorphic to MV-logic algebras (Georgescu et al, 2001)
An automaton-theoretic approach to the representation theory of quantum algebras
We develop a new approach to the representation theory of quantum algebras
supporting a torus action via methods from the theory of finite-state automata
and algebraic combinatorics. We show that for a fixed number , the
torus-invariant primitive ideals in quantum matrices can be seen as
a regular language in a natural way. Using this description and a semigroup
approach to the set of Cauchon diagrams, a combinatorial object that
paramaterizes the primes that are torus-invariant, we show that for fixed,
the number of torus-invariant primitive ideals in quantum matrices
satisfies a linear recurrence in over the rational numbers. In the case we give a concrete description of the torus-invariant primitive ideals
and use this description to give an explicit formula for the number P(3,n).Comment: 31 page
Convolution equations on lattices: periodic solutions with values in a prime characteristic field
These notes are inspired by the theory of cellular automata. A linear
cellular automaton on a lattice of finite rank or on a toric grid is a discrete
dinamical system generated by a convolution operator with kernel concentrated
in the nearest neighborhood of the origin. In the present paper we deal with
general convolution operators. We propose an approach via harmonic analysis
which works over a field of positive characteristic. It occurs that a standard
spectral problem for a convolution operator is equivalent to counting points on
an associate algebraic hypersurface in a torus according to the torsion orders
of their coordinates.Comment: 30 pages, a new editio
On the structure of Clifford quantum cellular automata
We study reversible quantum cellular automata with the restriction that these
are also Clifford operations. This means that tensor products of Pauli
operators (or discrete Weyl operators) are mapped to tensor products of Pauli
operators. Therefore Clifford quantum cellular automata are induced by
symplectic cellular automata in phase space. We characterize these symplectic
cellular automata and find that all possible local rules must be, up to some
global shift, reflection invariant with respect to the origin. In the one
dimensional case we also find that every uniquely determined and
translationally invariant stabilizer state can be prepared from a product state
by a single Clifford cellular automaton timestep, thereby characterizing these
class of stabilizer states, and we show that all 1D Clifford quantum cellular
automata are generated by a few elementary operations. We also show that the
correspondence between translationally invariant stabilizer states and
translationally invariant Clifford operations holds for periodic boundary
conditions.Comment: 28 pages, 2 figures, LaTe
Polynomial Interrupt Timed Automata
Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where
reachability and some variants of timed model checking are decidable even in
presence of parameters. They are well suited to model and analyze real-time
operating systems. Here we extend ITA with polynomial guards and updates,
leading to the class of polynomial ITA (PolITA). We prove the decidability of
the reachability and model checking of a timed version of CTL by an adaptation
of the cylindrical decomposition method for the first-order theory of reals.
Compared to previous approaches, our procedure handles parameters and clocks in
a unified way. Moreover, we show that PolITA are incomparable with stopwatch
automata. Finally additional features are introduced while preserving
decidability
An Algebraic Characterisation of Concurrent Composition
We give an algebraic characterization of a form of synchronized parallel
composition allowing for true concurrency, using ideas based on Peter Landin's
"Program-Machine Symmetric Automata Theory".Comment: This is an old technical report from 1981. I submitted it to a
special issue of HOSC in honour of Peter Landin, as explained in the Prelude,
added in 2008. However, at an advanced stage, the handling editor became
unresponsive, and the paper was never published. I am making it available via
the arXiv for the same reasons given in the Prelud
- …