19,356 research outputs found
Formal Languages in Dynamical Systems
We treat here the interrelation between formal languages and those dynamical
systems that can be described by cellular automata (CA). There is a well-known
injective map which identifies any CA-invariant subshift with a central formal
language. However, in the special case of a symbolic dynamics, i.e. where the
CA is just the shift map, one gets a stronger result: the identification map
can be extended to a functor between the categories of symbolic dynamics and
formal languages. This functor additionally maps topological conjugacies
between subshifts to empty-string-limited generalized sequential machines
between languages. If the periodic points form a dense set, a case which arises
in a commonly used notion of chaotic dynamics, then an even more natural map to
assign a formal language to a subshift is offered. This map extends to a
functor, too. The Chomsky hierarchy measuring the complexity of formal
languages can be transferred via either of these functors from formal languages
to symbolic dynamics and proves to be a conjugacy invariant there. In this way
it acquires a dynamical meaning. After reviewing some results of the complexity
of CA-invariant subshifts, special attention is given to a new kind of
invariant subshift: the trapped set, which originates from the theory of
chaotic scattering and for which one can study complexity transitions.Comment: 23 pages, LaTe
Checking Whether an Automaton Is Monotonic Is NP-complete
An automaton is monotonic if its states can be arranged in a linear order
that is preserved by the action of every letter. We prove that the problem of
deciding whether a given automaton is monotonic is NP-complete. The same result
is obtained for oriented automata, whose states can be arranged in a cyclic
order. Moreover, both problems remain hard under the restriction to binary
input alphabets.Comment: 13 pages, 4 figures. CIAA 2015. The final publication is available at
http://link.springer.com/chapter/10.1007/978-3-319-22360-5_2
One Quantifier Alternation in First-Order Logic with Modular Predicates
Adding modular predicates yields a generalization of first-order logic FO
over words. The expressive power of FO[<,MOD] with order comparison and
predicates for has been investigated by Barrington,
Compton, Straubing and Therien. The study of FO[<,MOD]-fragments was initiated
by Chaubard, Pin and Straubing. More recently, Dartois and Paperman showed that
definability in the two-variable fragment FO2[<,MOD] is decidable. In this
paper we continue this line of work.
We give an effective algebraic characterization of the word languages in
Sigma2[<,MOD]. The fragment Sigma2 consists of first-order formulas in prenex
normal form with two blocks of quantifiers starting with an existential block.
In addition we show that Delta2[<,MOD], the largest subclass of Sigma2[<,MOD]
which is closed under negation, has the same expressive power as two-variable
logic FO2[<,MOD]. This generalizes the result FO2[<] = Delta2[<] of Therien and
Wilke to modular predicates. As a byproduct, we obtain another decidable
characterization of FO2[<,MOD]
A thread calculus with molecular dynamics
We present a theory of threads, interleaving of threads, and interaction
between threads and services with features of molecular dynamics, a model of
computation that bears on computations in which dynamic data structures are
involved. Threads can interact with services of which the states consist of
structured data objects and computations take place by means of actions which
may change the structure of the data objects. The features introduced include
restriction of the scope of names used in threads to refer to data objects.
Because that feature makes it troublesome to provide a model based on
structural operational semantics and bisimulation, we construct a projective
limit model for the theory.Comment: 47 pages; examples and results added, phrasing improved, references
replace
- …