97 research outputs found
Weighted recognizability over infinite alphabets
We introduce weighted variable automata over infinite alphabets and commutative semirings. We prove that the class of their behaviors is closed under sum, and under scalar, Hadamard, Cauchy, and shuffle products, as well as star operation. Furthermore, we consider rational series over infinite alphabets and we state a Kleene-Schützenberger theorem. We introduce a weighted monadic second order logic and a weighted linear dynamic logic over infinite alphabets and investigate their relation to weighted variable automata. An application of our theory, to series over the Boolean semiring, concludes to new results for the class of languages accepted by variable automata
Weighted automata and multi-valued logics over arbitrary bounded lattices
AbstractWe show that L-weighted automata, L-rational series, and L-valued monadic second order logic have the same expressive power, for any bounded lattice L and for finite and infinite words. We also prove that aperiodicity, star-freeness, and L-valued first-order and LTL-definability coincide. This extends classical results of Kleene, Büchi–Elgot–Trakhtenbrot, and others to arbitrary bounded lattices, without any distributivity assumption that is fundamental in the theory of weighted automata over semirings. In fact, we obtain these results for large classes of strong bimonoids which properly contain all bounded lattices
The measure transfer for subshifts induced by morphisms of free monoids
Every non-erasing monoid morphism induces
a measure transfer map
between the measure cones and , associated
to any subshift and its image subshift
respectively. We define and study this
map in detail and show that it is continuous, linear and functorial. It also
turns out to be surjective. Furthermore, an efficient technique to compute the
value of the transferred measure on any cylinder
(for ) is presented.
Theorem: If a non-erasing morphism is
recognizable in some subshift , then
is bijective.
The notion of a "recognizable" subshift is classical in symbolic dynamics,
and due to its long history and various transformations and sharpening over
time, it plays a central role in the theory. In order to prove the above
theorem we show here:
Proposition: A non-erasing morphism is
recognizable in some subshift if and only if
(1) the induced map from shift-orbits of to shift-orbits of
is injective, and
(2) preserves the shift-period of any periodic word in
Pure and O-Substitution
The basic properties of distributivity and deletion of pure and o-substitution are investigated. The obtained results are applied to show preservation of recognizability in a number of surprising cases. It is proved that linear and recognizable tree series are closed under o-substitution provided that the underlying semiring is commutative, continuous, and additively idempotent. It is known that, in general, pure substitution does not preserve recognizability (not even for linear target tree series), but it is shown that recognizable linear probability distributions (represented as tree series) are closed under pure substitution
Measure transfer and -adic developments for subshifts
Based on previous work of the authors, to any -adic development of a
subshift a "directive sequence" of commutative diagrams is associated,
which consists at every level of the measure cone and the letter
frequency cone of the level subshift associated canonically to the given
-adic development.
The issuing rich picture enables one to deduce results about with
unexpected directness. For instance, we exhibit a large class of minimal
subshifts with entropy zero that all have infinitely many ergodic probability
measures.
As a side result we also exhibit, for any integer , an -adic
development of a minimal, aperiodic, uniquely ergodic subshift , where all
level alphabets have cardinality , while none of the
bottom level morphisms is recognizable in its level subshift
- …