English
Related papers

Related papers: Morphisms fixing words associated with exchange of…

200 papers

We analyse the pseudofinite monadic second order theory of words over a fixed finite alphabet. In particular we present an axiomatisation of this theory, working in a one-sorted first order framework. The analysis hinges on the fact that…

Logic · Mathematics 2022-03-14 Deacon Linkhorn

Modern language models are capable of contextualizing words based on their surrounding context. However, this capability is often compromised due to semantic change that leads to words being used in new, unexpected contexts not encountered…

Computation and Language · Computer Science 2024-04-30 Francesco Periti , Pierluigi Cassotti , Haim Dubossarsky , Nina Tahmasebi

We study the equality problem for infinite words obtained by iterating morphisms. In particular, we give a practical algorithm to decide whether or not two words generated by primitive morphisms are equal.

Formal Languages and Automata Theory · Computer Science 2009-04-16 Juha Honkala

This thesis investigates how the sub-structure of words can be accounted for in probabilistic models of language. Such models play an important role in natural language processing tasks such as translation or speech recognition, but often…

Computation and Language · Computer Science 2015-08-19 Jan A. Botha

We analyze a natural parity problem on the divisors associated to Sturmian words. We find a clear bias towards the odd divisors and obtain a sharp asymptotic estimate for the average of the difference odd-even function tamed by a mollifier,…

Number Theory · Mathematics 2018-11-16 Cristian Cobeli , Alexandru Zaharescu

A word over an ordered alphabet is said to be clustering if identical letters appear adjacently in its Burrows-Wheeler transform. Such words are strictly related to (discrete) interval exchange transformations. We use an extended version of…

Formal Languages and Automata Theory · Computer Science 2025-04-28 Francesco Dolce , Christian B. Hughes

We revisit the question of classification of balanced circular words and focus on the case of a ternary alphabet. We propose a $3$-dimensional generalisation of the discrete approximation representation of Christoffel words. By considering…

Combinatorics · Mathematics 2021-05-03 D. V. Bulgakova , N. Buzhinsky , Y. O. Goncharov

Return words constitute a powerful tool for studying symbolic dynamical systems. They may be regarded as a discrete analogue of the first return map in dynamical systems. In this paper we investigate two abelian variants of the notion of…

Combinatorics · Mathematics 2012-04-27 Svetlana Puzynina , Luca Q. Zamboni

We prove several decidability and undecidability results for the satisfiability and validity problems for languages that can express solutions to word equations with length constraints. The atomic formulas over this language are equality…

Logic in Computer Science · Computer Science 2013-06-26 Vijay Ganesh , Mia Minnes , Armando Solar-Lezama , Martin Rinard

We define various formal moduli spaces of p-divisible groups which are regular, and morphisms between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture of the third author…

Number Theory · Mathematics 2017-01-16 Michael Rapoport , Brian Smithling , Wei Zhang

Word embeddings allow natural language processing systems to share statistical information across related words. These embeddings are typically based on distributional statistics, making it difficult for them to generalize to rare or unseen…

Computation and Language · Computer Science 2016-09-27 Parminder Bhatia , Robert Guthrie , Jacob Eisenstein

We investigate several questions related to the notion of recognizable morphism. The main result is a new proof of Moss\'e's theorem and actually of a generalization to non primitive morphisms due to Berth\'e et al. We actually prove the…

Dynamical Systems · Mathematics 2022-10-18 Marie-Pierre Béal , Dominique Perrin , Antonio Restivo

We propose and investigate a semantics for "peer data exchange systems" where different peers are related by data exchange constraints and trust relationships. These two elements plus the data at the peers' sites and their local integrity…

Databases · Computer Science 2016-08-03 Leopoldo Bertossi , Loreto Bravo

In this paper we classify those three-dimensional Riemannian Lie groups which admit harmonic morphisms to surfaces.

Differential Geometry · Mathematics 2010-03-23 Sigmundur Gudmundsson , Martin Svensson

In derivational morphology, what mechanisms govern the variation in form-meaning relations between words? The answers to this type of questions are typically based on intuition and on observations drawn from limited data, even when a wide…

Computation and Language · Computer Science 2026-04-15 Hathout Nabil , Basilio Calderone , Fiammetta Namer , Franck Sajous

We give a combinatorial description of closed curves on oriented surfaces in terms of certain permutations, called charts. We describe automorphisms of curves in terms of charts and compute the total number of curves counted with…

Geometric Topology · Mathematics 2007-05-23 Vladimir Turaev

The morphological systems of natural languages are replete with examples of the same devices used for multiple purposes: (1) the same type of morphological process (for example, suffixation for both noun case and verb tense) and (2)…

cmp-lg · Computer Science 2008-02-03 Michael Gasser

We introduced the notation of a set of prohibitions and give definitions of a complete set and a crucial word with respect to a given set of prohibitions. We consider 3 particular sets which appear in different areas of mathematics and for…

Combinatorics · Mathematics 2007-05-23 A. Evdokimov , S. Kitaev

We study possibilities for semantic and syntactic rigidity, i.e., the rigidity with respect to automorphism group and with respect to definable closure. Variations of rigidity and their degrees are studied in general case, for special…

Logic · Mathematics 2023-07-26 Sergey V. Sudoplatov

We study the permutation complexity of finite-state stationary stochastic processes based on a duality between values and orderings between values. First, we establish a duality between the set of all words of a fixed length and the set of…

Chaotic Dynamics · Physics 2011-12-13 Taichi Haruna , Kohei Nakajima
‹ Prev 1 3 4 5 6 7 10 Next ›