Currently displaying 1 – 8 of 8

Showing per page

Order by Relevance | Title | Year of publication

Undecidability of infinite post correspondence problem for instances of Size 9

Vesa HalavaTero Harju — 2006

RAIRO - Theoretical Informatics and Applications

In the infinite Post Correspondence Problem an instance consists of two morphisms and , and the problem is to determine whether or not there exists an infinite word such that . This problem was shown to be undecidable by Ruohonen (1985) in general. Recently Blondel and Canterini ( (2003) 231–245) showed that this problem is undecidable for domain alphabets of size 105. Here we give a proof that the infinite Post Correspondence Problem is undecidable for instances where the morphisms...

On the number of squares in partial words

Vesa HalavaTero HarjuTomi Kärki — 2010

RAIRO - Theoretical Informatics and Applications

The theorem of Fraenkel and Simpson states that the maximum number of distinct squares that a word  of length  can contain is less than . This is based on the fact that no more than two squares can have their last occurrences starting at the same position. In this paper we show that the maximum number of the last occurrences of squares per position in a partial word containing one hole is , where is the size of the alphabet. Moreover, we prove that the number of distinct squares in a partial word...

Equality sets for recursively enumerable languages

Vesa HalavaTero HarjuHendrik Jan HoogeboomMichel Latteux — 2005

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We consider shifted equality sets of the form E G ( a , g 1 , g 2 ) = { w g 1 ( w ) = a g 2 ( w ) } , where g 1 and g 2 are nonerasing morphisms and a is a letter. We are interested in the family consisting of the languages h ( E G ( J ) ) , where h is a coding and E G ( J ) is a shifted equality set. We prove several closure properties for this family. Moreover, we show that every recursively enumerable language L A * is a projection of a shifted equality set, that is, L = π A ( E G ( a , g 1 , g 2 ) ) for some (nonerasing) morphisms g 1 and g 2 and a letter a , where π A deletes the letters not in A . Then we deduce...

Equality sets for recursively enumerable languages

Vesa HalavaTero HarjuHendrik Jan HoogeboomMichel Latteux — 2010

RAIRO - Theoretical Informatics and Applications

We consider shifted equality sets of the form , where and are nonerasing morphisms and is a letter. We are interested in the family consisting of the languages , where is a coding and is a shifted equality set. We prove several closure properties for this family. Moreover, we show that every recursively enumerable language is a projection of a shifted equality set, that is, for some (nonerasing) morphisms and and a letter...

Page 1

Download Results (CSV)