-
arXiv:2302.06248 [pdf, ps, other]
Decision Problems on Copying and Shuffling
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.
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
-
arXiv:2203.09311 [pdf, ps, other]
A recursive function coding number theoretic functions
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$.
Submitted 8 July, 2022; v1 submitted 17 March, 2022; originally announced March 2022.
MSC Class: 03D20; 68Q45; 68R01; 68R10
-
On the Self Shuffle Language
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
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
-
arXiv:2111.04484 [pdf, ps, other]
On Bi-infinite and Conjugate Post Correspondence Problems
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
Submitted 14 September, 2022; v1 submitted 8 November, 2021; originally announced November 2021.
MSC Class: 03D35; 03D40; 03D55; 68R01
-
arXiv:2108.04572 [pdf, ps, other]
A Note on Squares in Binary Words
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
Submitted 10 August, 2021; originally announced August 2021.
Comments: 6 pages
MSC Class: 68R15 ACM Class: G.2
-
arXiv:2107.09421 [pdf, ps, other]
Critical factorisation in square-free words
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
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
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.
Submitted 18 January, 2019; originally announced January 2019.
Comments: 13 pages, 2 figures
MSC Class: 68R15
-
arXiv:1501.07464 [pdf, ps, other]
Abelian bordered factors and periodicity
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
Submitted 29 January, 2015; originally announced January 2015.
Comments: 14 pages
MSC Class: 68R15
-
arXiv:1411.4796 [pdf, ps, other]
Weighted automata on infinite words in the context of Attacker-Defender games
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
Submitted 27 April, 2015; v1 submitted 18 November, 2014; originally announced November 2014.
Comments: 23 pages, 5 figures
-
arXiv:1404.0644 [pdf, ps, other]
Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More
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
Submitted 5 September, 2014; v1 submitted 2 April, 2014; originally announced April 2014.
-
arXiv:1309.2137 [pdf, ps, other]
Square-Free Shuffles of Words
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
Submitted 9 September, 2013; originally announced September 2013.
-
arXiv:1309.1886 [pdf, ps, other]
On Generating Binary Words Palindromically
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
Submitted 3 April, 2014; v1 submitted 7 September, 2013; originally announced September 2013.
MSC Class: 68R15
-
arXiv:1108.3631 [pdf, ps, other]
A new proof for the decidability of D0L ultimate periodicity
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.
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
-
arXiv:1106.4106 [pdf, ps, other]
Square-free Walks on Labelled Graphs
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
Submitted 24 June, 2011; v1 submitted 21 June, 2011; originally announced June 2011.
MSC Class: 68R15
-
arXiv:1101.1667 [pdf, ps, other]
Finite Orbits of Language Operations
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.
Submitted 1 March, 2011; v1 submitted 9 January, 2011; originally announced January 2011.
-
arXiv:cs/0305039 [pdf, ps, other]
Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture
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
Submitted 25 May, 2003; v1 submitted 23 May, 2003; originally announced May 2003.
Comments: 16 pages
ACM Class: F.4.m