1,076 research outputs found
On lexicographic enumeration of regular and context-free languages
We show that it is possible to efficiently enumerate the words of a regular language in lexicographic order. The time needed for generating the next word is O(n) when enumerating words of length n. We also define a class of context-free languages for which efficient enumeration is possible
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
We study tree languages that can be defined in \Delta_2 . These are tree
languages definable by a first-order formula whose quantifier prefix is forall
exists, and simultaneously by a first-order formula whose quantifier prefix is
. For the quantifier free part we consider two signatures, either the
descendant relation alone or together with the lexicographical order relation
on nodes. We provide an effective characterization of tree and forest languages
definable in \Delta_2 . This characterization is in terms of algebraic
equations. Over words, the class of word languages definable in \Delta_2 forms
a robust class, which was given an effective algebraic characterization by Pin
and Weil
Unusual algorithms for lexicographical enumeration
Using well-known results, we consider algorithms for finding minimal words of given length n in regular and context-free languages. We also show algorithms enumerating the words of given length n of regular and contextfree languages in lexicographical order
Unsolvability Cores in Classification Problems
Classification problems have been introduced by M. Ziegler as a
generalization of promise problems. In this paper we are concerned with
solvability and unsolvability questions with respect to a given set or language
family, especially with cores of unsolvability. We generalize the results about
unsolvability cores in promise problems to classification problems. Our main
results are a characterization of unsolvability cores via cohesiveness and
existence theorems for such cores in unsolvable classification problems. In
contrast to promise problems we have to strengthen the conditions to assert the
existence of such cores. In general unsolvable classification problems with
more than two components exist, which possess no cores, even if the set family
under consideration satisfies the assumptions which are necessary to prove the
existence of cores in unsolvable promise problems. But, if one of the
components is fixed we can use the results on unsolvability cores in promise
problems, to assert the existence of such cores in general. In this case we
speak of conditional classification problems and conditional cores. The
existence of conditional cores can be related to complexity cores. Using this
connection we can prove for language families, that conditional cores with
recursive components exist, provided that this family admits an uniform
solution for the word problem
- …