Sciweavers

433 search results - page 14 / 87
» On stabilizers of infinite words
Sort
View
FSTTCS
2010
Springer
13 years 5 months ago
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete
In this paper we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular...
Sven Schewe
COMBINATORICA
2004
97views more  COMBINATORICA 2004»
13 years 7 months ago
Partition Theorems for Left and Right Variable Words
In 1984 T. Carlson and S. Simpson established an infinitary extension of the Hales-Jewett Theorem in which the leftmost letters of all but one of the words were required to be vari...
Neil Hindman, Randall McCutcheon
INFORMATICALT
2000
126views more  INFORMATICALT 2000»
13 years 7 months ago
Commutation in Global Supermonoid of Free Monoids
This work is an attempt of generalization of the simple statement about the requirements of commutation of words for the case of languages. In the paper, the necessary condition fo...
Anna Brosalina, Boris Melnikov
FUIN
2010
98views more  FUIN 2010»
13 years 5 months ago
On the Borel Complexity of MSO Definable Sets of Branches
An infinite binary word can be identified with a branch in the full binary tree. We consider sets of branches definable in monadic second-order logic over the tree, where we allow ...
Mikolaj Bojanczyk, Damian Niwinski, Alexander Rabi...
ITA
2008
123views Communications» more  ITA 2008»
13 years 8 months ago
On some problems related to palindrome closure
In this paper we solve some open problems related to (pseudo)palindrome closure operators and to the infinite words generated by their iteration, that is, standard episturmian and...
Michelangelo Bucci, Aldo de Luca, Alessandro De Lu...