887 research outputs found
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
Fragments of first-order logic over infinite words
We give topological and algebraic characterizations as well as language
theoretic descriptions of the following subclasses of first-order logic FO[<]
for omega-languages: Sigma_2, FO^2, the intersection of FO^2 and Sigma_2, and
Delta_2 (and by duality Pi_2 and the intersection of FO^2 and Pi_2). These
descriptions extend the respective results for finite words. In particular, we
relate the above fragments to language classes of certain (unambiguous)
polynomials. An immediate consequence is the decidability of the membership
problem of these classes, but this was shown before by Wilke and Bojanczyk and
is therefore not our main focus. The paper is about the interplay of algebraic,
topological, and language theoretic properties.Comment: Conference version presented at 26th International Symposium on
Theoretical Aspects of Computer Science, STACS 200
It Is NL-complete to Decide Whether a Hairpin Completion of Regular Languages Is Regular
The hairpin completion is an operation on formal languages which is inspired
by the hairpin formation in biochemistry. Hairpin formations occur naturally
within DNA-computing. It has been known that the hairpin completion of a
regular language is linear context-free, but not regular, in general. However,
for some time it is was open whether the regularity of the hairpin completion
of a regular language is is decidable. In 2009 this decidability problem has
been solved positively by providing a polynomial time algorithm. In this paper
we improve the complexity bound by showing that the decision problem is
actually NL-complete. This complexity bound holds for both, the one-sided and
the two-sided hairpin completions
Logspace computations in graph products
We consider three important and well-studied algorithmic problems in group
theory: the word, geodesic, and conjugacy problem. We show transfer results
from individual groups to graph products. We concentrate on logspace complexity
because the challenge is actually in small complexity classes, only. The most
difficult transfer result is for the conjugacy problem. We have a general
result for graph products, but even in the special case of a graph group the
result is new. Graph groups are closely linked to the theory of Mazurkiewicz
traces which form an algebraic model for concurrent processes. Our proofs are
combinatorial and based on well-known concepts in trace theory. We also use
rewriting techniques over traces. For the group-theoretical part we apply
Bass-Serre theory. But as we need explicit formulae and as we design concrete
algorithms all our group-theoretical calculations are completely explicit and
accessible to non-specialists
QuickHeapsort: Modifications and improved analysis
We present a new analysis for QuickHeapsort splitting it into the analysis of
the partition-phases and the analysis of the heap-phases. This enables us to
consider samples of non-constant size for the pivot selection and leads to
better theoretical bounds for the algorithm. Furthermore we introduce some
modifications of QuickHeapsort, both in-place and using n extra bits. We show
that on every input the expected number of comparisons is n lg n - 0.03n + o(n)
(in-place) respectively n lg n -0.997 n+ o (n). Both estimates improve the
previously known best results. (It is conjectured in Wegener93 that the
in-place algorithm Bottom-Up-Heapsort uses at most n lg n + 0.4 n on average
and for Weak-Heapsort which uses n extra-bits the average number of comparisons
is at most n lg n -0.42n in EdelkampS02.) Moreover, our non-in-place variant
can even compete with index based Heapsort variants (e.g. Rank-Heapsort in
WangW07) and Relaxed-Weak-Heapsort (n lg n -0.9 n+ o (n) comparisons in the
worst case) for which no O(n)-bound on the number of extra bits is known
- …