English
Related papers

Related papers: Some Remarks on Almost Periodic Sequences and Lang…

200 papers

By replacing the letters to polynomials in F_2[t], an infinite word, over a finite alphabet, can be seen as the sequence of partial quotients of a continued fraction in F_2((1/t)). Here is described a family of such infinite words,…

Number Theory · Mathematics 2022-12-02 Alain Lasjaunias

Quasi-Sturmian words, which are infinite words with factor complexity eventually $n+c$ share many properties with Sturmian words. In this paper, we study the quasi-Sturmian colorings on regular trees. There are two different types, bounded…

Dynamical Systems · Mathematics 2024-03-20 Dong Han Kim , Seul Bee Lee , Seonhee Lim , Deokwon Sim

The semantic paradoxes are associated with self-reference or referential circularity. However, there are infinitary versions of the paradoxes, such as Yablo's paradox, that do not involve this form of circularity. It remains an open…

Combinatorics · Mathematics 2021-04-13 Brian Rabern , Landon Rabern

Regular synchronization languages can be used to define rational relations of finite words, and to characterize subclasses of rational relations, like automatic or recognizable relations. We provide a systematic study of the decidability of…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Christof Löding , Sarah Winter

We prove that the composition of a quasi-nearly subharmonic function and a quasiregular mappings of bounded multiplicity is quasi-nearly subharmonic. Also, we prove that if $u\circ f$ is quasi-nearly subharmonic for all quasi-nearly…

Functional Analysis · Mathematics 2011-03-09 Pekka Koskela , Vesna Manojlović

The avoidability, or unavoidability of patterns in words over finite alphabets has been studied extensively. A word (pattern) over a finite set is said to be unavoidable if, for all but finitely many words, there exists a morphism mapping…

Formal Languages and Automata Theory · Computer Science 2019-07-16 Paul Sauer

Two finite words $u$ and $v$ are called Abelian equivalent if each letter occurs equally many times in both $u$ and $v$. The abelian closure $\mathcal{A}(\mathbf{x})$ of (the shift orbit closure of) an infinite word $\mathbf{x}$ is the set…

Combinatorics · Mathematics 2021-08-04 Svetlana Puzynina , Markus A. Whiteland

We consider variations on the following problem: given an NFA M and a pattern p, does there exist an x in L(M) such that p matches x? We consider the restricted problem where M only accepts a finite language. We also consider the variation…

Formal Languages and Automata Theory · Computer Science 2009-06-18 Narad Rampersad , Jeffrey Shallit

We give a model-theoretic account for several results regarding sequences of random variables appearing in Berkes & Rosenthal \cite{Berkes-Rosenthal:AlmostExchangeableSequences}. In order to do this, {itemize} We study and compare three…

Logic · Mathematics 2013-08-07 Itaï Ben Yaacov , Alexander Berenstein , C. Ward Henson

Language sciences rely less and less on formal syntax as their base. The reason is probably its lack of psychological reality, knowingly avoided. Philosophers of science call for a paradigm shift in which explanations are by mechanisms, as…

Computation and Language · Computer Science 2022-05-26 Anat Ninio

Let $M\subset B(\mathcal H)$ be a von Neumann algebra acting on the Hilbert space $\mathcal H$. We prove that $M$ is finite if and only if, for every $x\in M$ and for all vectors $\xi,\eta\in\mathcal H$, the coefficient function $u\mapsto…

Operator Algebras · Mathematics 2021-03-15 Paul Jolissaint

In the algebraic theory of codes and formal languages, the set $Q$ of all primitive words over some alphabet $\zi $ has received special interest. With this survey article we give an overview about relevant research to this topic during the…

Formal Languages and Automata Theory · Computer Science 2011-04-25 Gerhard Lischke

We extend the characterization of context-free groups of Muller and Schupp in two ways. We first show that for a quasi-transitive inverse graph $\Gamma$, being quasi-isometric to a tree, or context-free (finitely many end-cones types), or…

Group Theory · Mathematics 2024-04-29 Emanuele Rodaro

Families of DFAs (FDFAs) have recently been introduced as a new representation of $\omega$-regular languages. They target ultimately periodic words, with acceptors revolving around accepting some representation $u\cdot v^\omega$. Three…

Formal Languages and Automata Theory · Computer Science 2023-07-17 Yong Li , Sven Schewe , Qiyi Tang

Translations between different nonmonotonic formalisms always have been an important topic in the field, in particular to understand the knowledge-representation capabilities those formalisms offer. We provide such an investigation in terms…

Artificial Intelligence · Computer Science 2014-01-17 Wolfgang Dvorak , Stefan Woltran

A language L is prefix-free if, whenever words u and v are in L and u is a prefix of v, then u=v. Suffix-, factor-, and subword-free languages are defined similarly, where "subword" means "subsequence". A language is bifix-free if it is…

Formal Languages and Automata Theory · Computer Science 2011-05-13 Janusz Brzozowski , Galina Jirásková , Baiyu Li , Joshua Smith

In this paper, we consider the asymptotic dynamics of the skew-product semiflow generated by the following time almost-periodically forced scalar reaction-diffusion equation \begin{equation}\label{eq0} u_{t}=u_{xx}+f(t,u,u_{x}),\,\,t>0,\,…

Dynamical Systems · Mathematics 2020-07-14 Wenxian Shen , Yi Wang , Dun Zhou

We study regular expressions that use variables, or parameters, which are interpreted as alphabet letters. We consider two classes of languages denoted by such expressions: under the possibility semantics, a word belongs to the language if…

Formal Languages and Automata Theory · Computer Science 2015-03-19 Pablo Barceló , Leonid Libkin , Juan Reutter

Generalized pseudostandard words were introduced by de Luca and De Luca in 2006. In comparison to the palindromic and pseudopalindromic closure, only little is known about the generalized pseudopalindromic closure and the associated…

Combinatorics · Mathematics 2016-10-25 Josef Florian , Lubomira Dvorakova

We study structural restrictions on biautomata such as, e.g., acyclicity, permutation-freeness, strongly permutation-freeness, and orderability, to mention a few. We compare the obtained language families with those induced by deterministic…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Markus Holzer , Sebastian Jakobi