Showing 1–16 of 16 results for author: Harju, T

Decision Problems on Copying and Shuffling

Authors: Vesa Halava, Tero Harju, Dirk Nowotka, Esa Sahla

Abstract: We study decision problems of the form: given a regular or linear context-free language $L$, is there a word of a given fixed form in $L$, where given fixed forms are based on word operations copy, marked copy, shuffle and their combinations. We study decision problems of the form: given a regular or linear context-free language $L$, is there a word of a given fixed form in $L$, where given fixed forms are based on word operations copy, marked copy, shuffle and their combinations. △ Less

Submitted 15 July, 2024; v1 submitted 13 February, 2023; originally announced February 2023.

MSC Class: 68Q45; 68Q42; 03D35 ACM Class: F.4.3; F.4.1

A recursive function coding number theoretic functions

Authors: Vesa Halava, Tero Harju, Teemu Pirttimäki

Abstract: We show that there exists a fixed recursive function $e$ such that for all functions $h\colon \mathbb{N}\to \mathbb{N}$, there exists an injective function $c_h\colon \mathbb{N}\to \mathbb{N}$ such that $c_h(h(n))=e(c_h(n))$, i.e., $h=c_h^{-1}ec_h$. We show that there exists a fixed recursive function $e$ such that for all functions $h\colon \mathbb{N}\to \mathbb{N}$, there exists an injective function $c_h\colon \mathbb{N}\to \mathbb{N}$ such that $c_h(h(n))=e(c_h(n))$, i.e., $h=c_h^{-1}ec_h$. △ Less

Submitted 8 July, 2022; v1 submitted 17 March, 2022; originally announced March 2022.

MSC Class: 03D20; 68Q45; 68R01; 68R10

On the Self Shuffle Language

Authors: Pamela Fleischmann, Tero Harju, Lukas Haschke, Jonas Höfer, Dirk Nowotka

Abstract: The shuffle product \(u\shuffle v\) of two words \(u\) and \(v\) is the set of all words which can be obtained by interleaving \(u\) and \(v\). Motivated by the paper \emph{The Shuffle Product: New Research Directions} by Restivo (2015) we investigate a special case of the shuffle product. In this work we consider the shuffle of a word with itself called the \emph{self shuffle} or \emph{shuffle sq… ▽ More The shuffle product \(u\shuffle v\) of two words \(u\) and \(v\) is the set of all words which can be obtained by interleaving \(u\) and \(v\). Motivated by the paper \emph{The Shuffle Product: New Research Directions} by Restivo (2015) we investigate a special case of the shuffle product. In this work we consider the shuffle of a word with itself called the \emph{self shuffle} or \emph{shuffle square}, showing first that the self shuffle language and the shuffle of the language are in general different sets. We prove that the language of all words arising as a self shuffle of some word is context sensitive but not context free. Furthermore, we show that the self shuffle \(w \shuffle w\) uniquely determines \(w\). △ Less

Submitted 2 March, 2022; v1 submitted 16 February, 2022; originally announced February 2022.

Comments: we missed some other publications on this topic

MSC Class: 14J60 ACM Class: F.2.2; I.2.7

On Bi-infinite and Conjugate Post Correspondence Problems

Authors: Olivier Finkel, Vesa Halava, Tero Harju, Esa Sahla

Abstract: We study two modifications of the Post Correspondence Problem (PCP), namely 1) the bi-infinite version, where it is asked whether there exists a bi-infinite word such that two given morphisms agree on it, and 2) the conjugate version, where we require the images of a solution for two given morphisms are conjugates of each other. For the bi-infinite PCP we show that it is in the class $Σ_2^0$ of th… ▽ More We study two modifications of the Post Correspondence Problem (PCP), namely 1) the bi-infinite version, where it is asked whether there exists a bi-infinite word such that two given morphisms agree on it, and 2) the conjugate version, where we require the images of a solution for two given morphisms are conjugates of each other. For the bi-infinite PCP we show that it is in the class $Σ_2^0$ of the arithmetical hierarchy and for the conjugate PCP we give an undecidability proof by reducing it to the word problem for a special type of semi-Thue systems. △ Less

Submitted 14 September, 2022; v1 submitted 8 November, 2021; originally announced November 2021.

MSC Class: 03D35; 03D40; 03D55; 68R01

A Note on Squares in Binary Words

Authors: Tero Harju

Abstract: We consider words over a binary alphabet. A word $w$ is overlap-free if it does not have factors (blocks of consecutive letters) of the form $uvuvu$ for nonempty $u$. Let $M(w)$ denote the number of positions that are middle positions of squares in $w$. We show that for overlap-free binary words, $2M(w) \le |w|+3$, and that there are infinitely many overlap-free binary words for which… ▽ More We consider words over a binary alphabet. A word $w$ is overlap-free if it does not have factors (blocks of consecutive letters) of the form $uvuvu$ for nonempty $u$. Let $M(w)$ denote the number of positions that are middle positions of squares in $w$. We show that for overlap-free binary words, $2M(w) \le |w|+3$, and that there are infinitely many overlap-free binary words for which $2M(w)=|w|+3$. △ Less

Submitted 10 August, 2021; originally announced August 2021.

Comments: 6 pages

MSC Class: 68R15 ACM Class: G.2

Critical factorisation in square-free words

Authors: Tero Harju

Abstract: A position $p$ in a word $w$ is critical if the minimal local period at $p$ is equal to the global period of $w$. According to the Critical Factorisation Theorem all words of length at least two have a critical point. We study the number $η(w)$ of critical points of square-free ternary words $w$, i.e., words over a three letter alphabet. We show that the sufficiently long square-free words $w$ sat… ▽ More A position $p$ in a word $w$ is critical if the minimal local period at $p$ is equal to the global period of $w$. According to the Critical Factorisation Theorem all words of length at least two have a critical point. We study the number $η(w)$ of critical points of square-free ternary words $w$, i.e., words over a three letter alphabet. We show that the sufficiently long square-free words $w$ satisfy $η(w) \le |w|-5$ where $|w|$ denotes the length of $w$. Moreover, the bound $|w|-5$ is reached by infinitely many words. On the other hand, every square-free word $w$ has at least $|w|/4$ critical points, and there is a sequence of these words closing to this bound. △ Less

Submitted 20 July, 2021; originally announced July 2021.

Comments: 11 pages

MSC Class: 68R15 ACM Class: G.2.1

Some further results on squarefree arithmetic progressions in infinite words

Authors: James Currie, Tero Harju, Pascal Ochem, Narad Rampersad

Abstract: In a recent paper, one of us posed three open problems concerning squarefree arithmetic progressions in infinite words. In this note we solve these problems and prove some additional results. In a recent paper, one of us posed three open problems concerning squarefree arithmetic progressions in infinite words. In this note we solve these problems and prove some additional results. △ Less

Submitted 18 January, 2019; originally announced January 2019.

Comments: 13 pages, 2 figures

MSC Class: 68R15

Abelian bordered factors and periodicity

Authors: Emilie Charlier, Tero Harju, Svetlana Puzynina, Luca Zamboni

Abstract: A finite word u is said to be bordered if u has a proper prefix which is also a suffix of u, and unbordered otherwise. Ehrenfeucht and Silberger proved that an infinite word is purely periodic if and only if it contains only finitely many unbordered factors. We are interested in abelian and weak abelian analogues of this result; namely, we investigate the following question(s): Let w be an infinit… ▽ More A finite word u is said to be bordered if u has a proper prefix which is also a suffix of u, and unbordered otherwise. Ehrenfeucht and Silberger proved that an infinite word is purely periodic if and only if it contains only finitely many unbordered factors. We are interested in abelian and weak abelian analogues of this result; namely, we investigate the following question(s): Let w be an infinite word such that all sufficiently long factors are (weakly) abelian bordered; is w (weakly) abelian periodic? In the process we answer a question of Avgustinovich et al. concerning the abelian critical factorization theorem. △ Less

Submitted 29 January, 2015; originally announced January 2015.

Comments: 14 pages

MSC Class: 68R15

Weighted automata on infinite words in the context of Attacker-Defender games

Authors: Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov

Abstract: We consider infinite-state Attacker-Defender games with reachability objectives. The results of the paper are twofold. Firstly we prove a new language-theoretic result for weighted automata on infinite words and show its encoding into the framework of Attacker-Defender games. Secondly we use this novel concept to prove undecidability for checking existence of a winning strategy in several low-dime… ▽ More We consider infinite-state Attacker-Defender games with reachability objectives. The results of the paper are twofold. Firstly we prove a new language-theoretic result for weighted automata on infinite words and show its encoding into the framework of Attacker-Defender games. Secondly we use this novel concept to prove undecidability for checking existence of a winning strategy in several low-dimensional mathematical games including vector reachability games, word games and braid games. △ Less

Submitted 27 April, 2015; v1 submitted 18 November, 2014; originally announced November 2014.

Comments: 23 pages, 5 figures

Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More

Authors: Julien Cassaigne, Vesa Halava, Tero Harju, Francois Nicolas

Abstract: We study the decidability of three well-known problems related to integer matrix multiplication: Mortality (M), Zero in the Left-Upper Corner (Z), and Zero in the Right-Upper Corner (R). Let d and k be positive integers. Define M(k, d x d) as the following special case of the Mortality problem: given a set X of d -by-d integer matrices such that the cardinality of X is not greater than k, decide… ▽ More We study the decidability of three well-known problems related to integer matrix multiplication: Mortality (M), Zero in the Left-Upper Corner (Z), and Zero in the Right-Upper Corner (R). Let d and k be positive integers. Define M(k, d x d) as the following special case of the Mortality problem: given a set X of d -by-d integer matrices such that the cardinality of X is not greater than k, decide whether the d-by-d zero matrix belongs to X^+, where X^+ denotes the closure of X under the usual matrix multiplication. In the same way, define the Z(k, d x d) problem as: given an instance X of M(k, d x d) (the instances of Z(k, d x d) are the same as those of M(k, d x d)), decide whether at least one matrix in X^+ has a zero in the left-upper corner. Define R(k, d x d) as the variant of Z(k, d x d) where "left-upper corner" is replaced with "right-upper corner". In the paper, we prove that M(6, 3 x 3), M(4, 5 x 5), M(3, 9 x 9), M(2, 15 x 15), Z(5, 3 x 3), Z(3, 5 x 5), Z(2, 9 x 9), R(6, 3 x 3), R(5, 4 x 4), and R(3, 6 x 6) are undecidable. The previous best comparable results were the undecidabilities of M(7, 3 x 3), M(3, 13 x 13), M(2, 21 x 21), Z(7, 3 x 3), Z(2, 13 x 13), R(7, 3 x 3), and R(2, 10 x 10). △ Less

Submitted 5 September, 2014; v1 submitted 2 April, 2014; originally announced April 2014.

Square-Free Shuffles of Words

Authors: Tero Harju, Mike Müller

Abstract: Let $u \shuffle v$ denote the set of all shuffles of the words $u$ and $v$. It is shown that for each integer $n \geq 3$ there exists a square-free ternary word $u$ of length $n$ such that $u\shuffle u$ contains a square-free word. This property is then shown to also hold for infinite words, i.e., there exists an infinite square-free word $u$ on three letters such that $u$ can be shuffled with its… ▽ More Let $u \shuffle v$ denote the set of all shuffles of the words $u$ and $v$. It is shown that for each integer $n \geq 3$ there exists a square-free ternary word $u$ of length $n$ such that $u\shuffle u$ contains a square-free word. This property is then shown to also hold for infinite words, i.e., there exists an infinite square-free word $u$ on three letters such that $u$ can be shuffled with itself to produce an infinite square-free word $w \in u \shuffle u$. △ Less

Submitted 9 September, 2013; originally announced September 2013.

On Generating Binary Words Palindromically

Authors: Tero Harju, Mari Huova, L. Q. Zamboni

Abstract: We regard a finite word $u=u_1u_2\cdots u_n$ up to word isomorphism as an equivalence relation on $\{1,2,\ldots, n\}$ where $i$ is equivalent to $j$ if and only if $x_i=x_j.$ Some finite words (in particular all binary words) are generated by "{\it palindromic}" relations of the form $k\sim j+i-k$ for some choice of $1\leq i\leq j\leq n$ and $k\in \{i,i+1,\ldots,j\}.$ That is to say, some finite w… ▽ More We regard a finite word $u=u_1u_2\cdots u_n$ up to word isomorphism as an equivalence relation on $\{1,2,\ldots, n\}$ where $i$ is equivalent to $j$ if and only if $x_i=x_j.$ Some finite words (in particular all binary words) are generated by "{\it palindromic}" relations of the form $k\sim j+i-k$ for some choice of $1\leq i\leq j\leq n$ and $k\in \{i,i+1,\ldots,j\}.$ That is to say, some finite words $u$ are uniquely determined up to word isomorphism by the position and length of some of its palindromic factors. In this paper we study the function $μ(u)$ defined as the least number of palindromic relations required to generate $u.$ We show that every aperiodic infinite word must contain a factor $u$ with $μ(u)\geq 3,$ and that some infinite words $x$ have the property that $μ(u)\leq 3$ for each factor $u$ of $x.$ We obtain a complete classification of such words on a binary alphabet (which includes the well known class of Sturmian words). In contrast for the Thue-Morse word, we show that the function $μ$ is unbounded. △ Less

Submitted 3 April, 2014; v1 submitted 7 September, 2013; originally announced September 2013.

MSC Class: 68R15

A new proof for the decidability of D0L ultimate periodicity

Authors: Vesa Halava, Tero Harju, Tomi Kärki

Abstract: We give a new proof for the decidability of the D0L ultimate periodicity problem based on the decidability of p-periodicity of morphic words adapted to the approach of Harju and Linna. We give a new proof for the decidability of the D0L ultimate periodicity problem based on the decidability of p-periodicity of morphic words adapted to the approach of Harju and Linna. △ Less

Submitted 17 August, 2011; originally announced August 2011.

Comments: In Proceedings WORDS 2011, arXiv:1108.3412

ACM Class: 68R15

Journal ref: EPTCS 63, 2011, pp. 147-151

Square-free Walks on Labelled Graphs

Authors: Tero Harju

Abstract: A finite or infinite word is called a $G$-word for a labelled graph $G$ on the vertex set $A_n = \{0,1,..., n-1\}$ if $w = i_1i_2...i_k \in A_n^*$, where each factor $i_ji_{j+1}$ is an edge of $E$, i.e, $w$ represents a walk in $G$. We show that there exists a square-free infinite $G$-word if and only if $G$ has no subgraph isomorphic to one of the cycles $C_3, \ C_4, \ C_5$, the path $P_5$ or the… ▽ More A finite or infinite word is called a $G$-word for a labelled graph $G$ on the vertex set $A_n = \{0,1,..., n-1\}$ if $w = i_1i_2...i_k \in A_n^*$, where each factor $i_ji_{j+1}$ is an edge of $E$, i.e, $w$ represents a walk in $G$. We show that there exists a square-free infinite $G$-word if and only if $G$ has no subgraph isomorphic to one of the cycles $C_3, \ C_4, \ C_5$, the path $P_5$ or the claw $K_{1,3}$. The colour number $γ(G)$ of a graph $G=(A_n,E)$ is the smallest integer $k$, if it exists, for which there exists a mapping $φ\colon A_n \to A_k$ such that $φ(w)$ is square-free for an infinite $G$-word $w$. We show that $γ(G)=3$ for $G=C_3, C_5, P_5$, but $γ(G)=4$ for $G=C_4, K_{1,3}$. In particular, $γ(G) \leq 4$ for all graphs that have at least five vertices. △ Less

Submitted 24 June, 2011; v1 submitted 21 June, 2011; originally announced June 2011.

MSC Class: 68R15

Finite Orbits of Language Operations

Authors: E. Charlier, M. Domaratzki, T. Harju, J. Shallit

Abstract: We consider a set of natural operations on languages, and prove that the orbit of any language L under the monoid generated by this set is finite and bounded, independently of L. This generalizes previous results about complement, Kleene closure, and positive closure. We consider a set of natural operations on languages, and prove that the orbit of any language L under the monoid generated by this set is finite and bounded, independently of L. This generalizes previous results about complement, Kleene closure, and positive closure. △ Less

Submitted 1 March, 2011; v1 submitted 9 January, 2011; originally announced January 2011.

Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture

Authors: Tero Harju, Dirk Nowotka

Abstract: The relationship between the length of a word and the maximum length of its unbordered factors is investigated in this paper. Consider a finite word w of length n. We call a word bordered, if it has a proper prefix which is also a suffix of that word. Let f(w) denote the maximum length of all unbordered factors of w, and let p(w) denote the period of w. Clearly, f(w) < p(w)+1. We establish tha… ▽ More The relationship between the length of a word and the maximum length of its unbordered factors is investigated in this paper. Consider a finite word w of length n. We call a word bordered, if it has a proper prefix which is also a suffix of that word. Let f(w) denote the maximum length of all unbordered factors of w, and let p(w) denote the period of w. Clearly, f(w) < p(w)+1. We establish that f(w) = p(w), if w has an unbordered prefix of length f(w) and n > 2f(w)-2. This bound is tight and solves the stronger version of a 21 years old conjecture by Duval. It follows from this result that, in general, n > 3f(w)-3 implies f(w) = p(w) which gives an improved bound for the question asked by Ehrenfeucht and Silberger in 1979. △ Less

Submitted 25 May, 2003; v1 submitted 23 May, 2003; originally announced May 2003.

Comments: 16 pages

ACM Class: F.4.m