252,675 research outputs found
Unavoidable Sets of Partial Words
The notion of an unavoidable set of words appears frequently in the fields of mathematics and theoretical computer science, in particular with its connection to the study of combinatorics on words. The theory of unavoidable sets has seen extensive study over the past twenty years. In this paper we extend the definition of unavoidable sets of words to unavoidable sets of partial words. Partial words, or finite sequences that may contain a number of ?do not know? symbols or ?holes,? appear naturally in several areas of current interest such as molecular biology, data communication, and DNA computing. We demonstrate the utility of the notion of unavoidability of sets of partial words by making use of it to identify several new classes of unavoidable sets of full words. Along the way we begin work on classifying the unavoidable sets of partial words of small cardinality. We pose a conjecture, and show that affirmative proof of this conjecture gives a sufficient condition for classifying all the unavoidable sets of partial words of size two. We give a result which makes the conjecture easy to verify for a significant number of cases. We characterize many forms of unavoidable sets of partial words of size three over a binary alphabet, and completely characterize such sets over a ternary alphabet. Finally, we extend our results to unavoidable sets of partial words of size k over a k-letter alphabet
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours
Process calculi for service-oriented computing often feature generation of fresh resources. So-called nominal automata have been studied both as semantic models for such calculi, and as acceptors of languages of finite words over infinite alphabets. In this paper we investi-gate nominal automata that accept infinite words. These automata are a generalisation of deterministic Muller automata to the setting of nominal sets. We prove decidability of complement, union, intersection, emptiness and equivalence, and determinacy by ultimately periodic words. The key to obtain such results is to use finite representations of the (otherwise infinite-state) defined class of automata. The definition of such operations enables model checking of process calculi featuring infinite behaviours, and resource allocation, to be implemented using classical automata-theoretic methods
Minimal Forbidden Factors of Circular Words
Minimal forbidden factors are a useful tool for investigating properties of
words and languages. Two factorial languages are distinct if and only if they
have different (antifactorial) sets of minimal forbidden factors. There exist
algorithms for computing the minimal forbidden factors of a word, as well as of
a regular factorial language. Conversely, Crochemore et al. [IPL, 1998] gave an
algorithm that, given the trie recognizing a finite antifactorial language ,
computes a DFA recognizing the language whose set of minimal forbidden factors
is . In the same paper, they showed that the obtained DFA is minimal if the
input trie recognizes the minimal forbidden factors of a single word. We
generalize this result to the case of a circular word. We discuss several
combinatorial properties of the minimal forbidden factors of a circular word.
As a byproduct, we obtain a formal definition of the factor automaton of a
circular word. Finally, we investigate the case of minimal forbidden factors of
the circular Fibonacci words.Comment: To appear in Theoretical Computer Scienc
Solving One Variable Word Equations in the Free Group in Cubic Time
A word equation with one variable in a free group is given as , where
both and are words over the alphabet of generators of the free group
and , for a fixed variable . An element of the free group is a
solution when substituting it for yields a true equality (interpreted in
the free group) of left- and right-hand sides. It is known that the set of all
solutions of a given word equation with one variable is a finite union of sets
of the form , where are reduced words over the alphabet of generators, and a polynomial-time
algorithm (of a high degree) computing this set is known. We provide a cubic
time algorithm for this problem, which also shows that the set of solutions
consists of at most a quadratic number of the above-mentioned sets. The
algorithm uses only simple tools of word combinatorics and group theory and is
simple to state. Its analysis is involved and focuses on the combinatorics of
occurrences of powers of a word within a larger word.Comment: 52 pages, accepted to STACS 202
Diameters of Chevalley groups over local rings
Let G be a Chevalley group scheme of rank l. Let be the family of finite groups for and some fixed prime number p >p 0. We prove a uniform poly-logarithmic diameter bound of the Cayley graphs of G n with respect to arbitrary sets of generators. In other words, for any subset S which generates G n , any element of G n is a product of C n d elements from . Our proof is elementary and effective, in the sense that the constant d and the functions p 0(l) and C(l, p) are calculated explicitly. Moreover, we give an efficient algorithm for computing a short path between any two vertices in any Cayley graph of the groups G
A Fuzzy Petri Nets Model for Computing With Words
Motivated by Zadeh's paradigm of computing with words rather than numbers,
several formal models of computing with words have recently been proposed.
These models are based on automata and thus are not well-suited for concurrent
computing. In this paper, we incorporate the well-known model of concurrent
computing, Petri nets, together with fuzzy set theory and thereby establish a
concurrency model of computing with words--fuzzy Petri nets for computing with
words (FPNCWs). The new feature of such fuzzy Petri nets is that the labels of
transitions are some special words modeled by fuzzy sets. By employing the
methodology of fuzzy reasoning, we give a faithful extension of an FPNCW which
makes it possible for computing with more words. The language expressiveness of
the two formal models of computing with words, fuzzy automata for computing
with words and FPNCWs, is compared as well. A few small examples are provided
to illustrate the theoretical development.Comment: double columns 14 pages, 8 figure
- …