694 research outputs found
Deciding regular grammar logics with converse through first-order logic
We provide a simple translation of the satisfiability problem for regular
grammar logics with converse into GF2, which is the intersection of the guarded
fragment and the 2-variable fragment of first-order logic. This translation is
theoretically interesting because it translates modal logics with certain frame
conditions into first-order logic, without explicitly expressing the frame
conditions.
A consequence of the translation is that the general satisfiability problem
for regular grammar logics with converse is in EXPTIME. This extends a previous
result of the first author for grammar logics without converse. Using the same
method, we show how some other modal logics can be naturally translated into
GF2, including nominal tense logics and intuitionistic logic.
In our view, the results in this paper show that the natural first-order
fragment corresponding to regular grammar logics is simply GF2 without extra
machinery such as fixed point-operators.Comment: 34 page
Star-Free Languages are Church-Rosser Congruential
The class of Church-Rosser congruential languages has been introduced by
McNaughton, Narendran, and Otto in 1988. A language L is Church-Rosser
congruential (belongs to CRCL), if there is a finite, confluent, and
length-reducing semi-Thue system S such that L is a finite union of congruence
classes modulo S. To date, it is still open whether every regular language is
in CRCL. In this paper, we show that every star-free language is in CRCL. In
fact, we prove a stronger statement: For every star-free language L there
exists a finite, confluent, and subword-reducing semi-Thue system S such that
the total number of congruence classes modulo S is finite and such that L is a
union of congruence classes modulo S. The construction turns out to be
effective
Non-periodic long-range order for fast decaying interactions at positive temperatures
We present the first example of an exponentially decaying interaction which
gives rise to non-periodic long-range order at positive temperatures.Comment: 7 pages, Late
Enumeration and Decidable Properties of Automatic Sequences
We show that various aspects of k-automatic sequences -- such as having an
unbordered factor of length n -- are both decidable and effectively enumerable.
As a consequence it follows that many related sequences are either k-automatic
or k-regular. These include many sequences previously studied in the
literature, such as the recurrence function, the appearance function, and the
repetitivity index. We also give some new characterizations of the class of
k-regular sequences. Many results extend to other sequences defined in terms of
Pisot numeration systems
The singular continuous diffraction measure of the Thue-Morse chain
The paradigm for singular continuous spectra in symbolic dynamics and in
mathematical diffraction is provided by the Thue-Morse chain, in its
realisation as a binary sequence with values in . We revisit this
example and derive a functional equation together with an explicit form of the
corresponding singular continuous diffraction measure, which is related to the
known representation as a Riesz product.Comment: 6 pages, 1 figure; revised and improved versio
A new approach to the -regularity of the -abelian complexity of -automatic sequences
We prove that a sequence satisfying a certain symmetry property is
-regular in the sense of Allouche and Shallit, i.e., the -module
generated by its -kernel is finitely generated. We apply this theorem to
develop a general approach for studying the -abelian complexity of
-automatic sequences. In particular, we prove that the period-doubling word
and the Thue--Morse word have -abelian complexity sequences that are
-regular. Along the way, we also prove that the -block codings of these
two words have -abelian complexity sequences that are -regular.Comment: 44 pages, 2 figures; publication versio
- …