7,793 research outputs found
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
Nested words provide a natural model of runs of programs with recursive procedure calls. The usual connection between monadic second-order logic (MSO) and automata extends from words to nested words and gives us a natural notion of regular languages of nested words. In this paper we look at some well-known aspects of regular languages—their characterization via fixed points, deterministic and alternating automata for them, and synchronization for defining regular relations—and extend them to nested words. We show that mu-calculus is as expressive as MSO over finite and infinite nested words, and the equivalence holds, more generally, for mu-calculus with past modalities eval-uated in arbitrary positions in a word, not only in the first position. We introduce the notion of alternating automata for nested words, show that they are as expressive as the usual automata, and also prove that Muller automata can be determinized (unlike in the case of visibly pushdown languages). Finally we look at synchronization over nested words. We show that the usual letter-to-letter synchronization is completely incompatible with nested words (in the sense that even the weakest form of it leads to an undecidable formalism) and present an alternative form of synchronization that gives us decidable notions of regular relations
Computational Complexity of Synchronization under Regular Commutative Constraints
Here we study the computational complexity of the constrained synchronization
problem for the class of regular commutative constraint languages. Utilizing a
vector representation of regular commutative constraint languages, we give a
full classification of the computational complexity of the constraint
synchronization problem. Depending on the constraint language, our problem
becomes PSPACE-complete, NP-complete or polynomial time solvable. In addition,
we derive a polynomial time decision procedure for the complexity of the
constraint synchronization problem, given some constraint automaton accepting a
commutative language as input.Comment: Published in COCOON 2020 (The 26th International Computing and
Combinatorics Conference); 2nd version is update of the published version and
1st version; both contain a minor error, the assumption of maximality in the
NP-c and PSPACE-c results (propositions 5 & 6) is missing, and of
incomparability of the vectors in main theorem; fixed in this version. See
(new) discussion after main theore
Boolean Algebras from Trace Automata
We consider trace automata. Their vertices are Mazurkiewicz traces and they accept finite words. Considering the length of a trace as the length of its Foata normal form, we define the operations of level-length synchronization and of superposition of trace automata. We show that if a family F of trace automata is closed under these operations, then for any deterministic automaton H in F, the word languages accepted by the deterministic automata of F that are length-reducible to H form a Boolean algebra. We show that the family of trace suffix automata with level-regular contexts and the subfamily of vector addition systems satisfy these closure properties. In particular, this yields various Boolean algebras of word languages accepted by deterministic vector addition systems
Phase Transitions of Cellular Automata
We explore some aspects of phase transitions in cellular automata. We start
recalling the standard formulation of statistical mechanics of discrete systems
(Ising model), illustrating the Monte Carlo approach as Markov chains and
stochastic processes. We then formulate the cellular automaton problem using
simple models, and illustrate different types of possible phase transitions:
density phase transitions of first and second order, damage spreading, dilution
of deterministic rules, asynchronism-induced transitions, synchronization
phenomena, chaotic phase transitions and the influence of the topology. We
illustrate the improved mean-field techniques and the phenomenological
renormalization group approach.Comment: 13 pages, 14 figure
Partially Ordered Two-way B\"uchi Automata
We introduce partially ordered two-way B\"uchi automata and characterize
their expressive power in terms of fragments of first-order logic FO[<].
Partially ordered two-way B\"uchi automata are B\"uchi automata which can
change the direction in which the input is processed with the constraint that
whenever a state is left, it is never re-entered again. Nondeterministic
partially ordered two-way B\"uchi automata coincide with the first-order
fragment Sigma2. Our main contribution is that deterministic partially ordered
two-way B\"uchi automata are expressively complete for the first-order fragment
Delta2. As an intermediate step, we show that deterministic partially ordered
two-way B\"uchi automata are effectively closed under Boolean operations.
A small model property yields coNP-completeness of the emptiness problem and
the inclusion problem for deterministic partially ordered two-way B\"uchi
automata.Comment: The results of this paper were presented at CIAA 2010; University of
Stuttgart, Computer Scienc
Nature-Inspired Interconnects for Self-Assembled Large-Scale Network-on-Chip Designs
Future nano-scale electronics built up from an Avogadro number of components
needs efficient, highly scalable, and robust means of communication in order to
be competitive with traditional silicon approaches. In recent years, the
Networks-on-Chip (NoC) paradigm emerged as a promising solution to interconnect
challenges in silicon-based electronics. Current NoC architectures are either
highly regular or fully customized, both of which represent implausible
assumptions for emerging bottom-up self-assembled molecular electronics that
are generally assumed to have a high degree of irregularity and imperfection.
Here, we pragmatically and experimentally investigate important design
trade-offs and properties of an irregular, abstract, yet physically plausible
3D small-world interconnect fabric that is inspired by modern network-on-chip
paradigms. We vary the framework's key parameters, such as the connectivity,
the number of switch nodes, the distribution of long- versus short-range
connections, and measure the network's relevant communication characteristics.
We further explore the robustness against link failures and the ability and
efficiency to solve a simple toy problem, the synchronization task. The results
confirm that (1) computation in irregular assemblies is a promising and
disruptive computing paradigm for self-assembled nano-scale electronics and (2)
that 3D small-world interconnect fabrics with a power-law decaying distribution
of shortcut lengths are physically plausible and have major advantages over
local 2D and 3D regular topologies
Descriptive complexity for pictures languages
This paper deals with logical characterizations of picture languages of any dimension by syntactical fragments of existential second-order logic. Two classical classes of picture languages are studied:
- the class of "recognizable" picture languages, i.e. projections of languages defined by local constraints (or tilings): it is known as the most robust class extending the class of regular languages to any dimension;
- the class of picture languages recognized on "nondeterministic cellular automata in linear time" : cellular automata are the simplest and most natural model of parallel computation and linear time is the minimal time-bounded class allowing synchronization of nondeterministic cellular automata.
We uniformly generalize to any dimension the characterization by Giammarresi et al. (1996) of the class of "recognizable" picture languages in existential monadic second-order logic.
We state several logical characterizations of the class of picture languages recognized in linear time on nondeterministic cellular automata. They are the first machine-independent characterizations of complexity classes of cellular automata.
Our characterizations are essentially deduced from normalization results we prove for first-order and existential second-order logics over pictures. They are obtained in a general and uniform framework that allows to extend them to other "regular" structures
- …