English
Related papers

Related papers: Numeration systems without a dominant root and reg…

200 papers

A new number system, the set of the non-Dedekindian numbers, is introduced and characterized axiomatically. It is then proved that any hypercontinous hyperreal number system is strictly included in the set of the Non-Dedekindian Numbers.…

General Mathematics · Mathematics 2007-05-23 Gavriel Segre

Recent work by Hewitt et al. (2020) provides an interpretation of the empirical success of recurrent neural networks (RNNs) as language models (LMs). It shows that RNNs can efficiently represent bounded hierarchical structures that are…

Computation and Language · Computer Science 2024-06-19 Anej Svete , Robin Shing Moon Chan , Ryan Cotterell

Random substitutions are a natural generalisation of their classical `deterministic' counterpart, whereby at every step of iterating the substitution, instead of replacing a letter with a predetermined word, every letter is independently…

Dynamical Systems · Mathematics 2020-04-14 Dan Rust , Timo Spindeler

LS is a particular type of computational processes simulating living tissue. They use an unlimited branching process arising from the simultaneous substitutions of some words instead of letters in some initial word. This combines the…

comp-gas · Physics 2007-05-23 Yuri Ozhigov

Using the subdivision schemes theory, we develop a criterion to check if any natural number has at most one representation in the $n$-ary number system with a set of non-negative integer digits $A=\{a_1, a_2,\ldots, a_n\}$ that contains…

Number Theory · Mathematics 2025-11-25 Sergei V. Konyagin , Vladimir Yu. Protasov , Alexey L. Talambutsa

In a recent article, we introduced and studied a precise class of dynamical systems called solvable systems. These systems present a dynamic ruled by discontinuous ordinary differential equations with solvable right-hand terms and unique…

Computational Complexity · Computer Science 2024-06-04 Riccardo Gozzi , Olivier Bournez

We point out that a sequence of natural numbers is the dimension sequence of a subproduct system if and only if it is the cardinality sequence of a word system (or factorial language). Determining such sequences is, therefore, reduced to a…

Functional Analysis · Mathematics 2020-11-17 Malte Gerhold , Michael Skeide

We show how to use extended word series in the reduction of continuous and discrete dynamical systems to normal form and in the computation of formal invariants of motion in Hamiltonian systems. The manipulations required involve complex…

Dynamical Systems · Mathematics 2015-12-01 A. Murua , J. M. Sanz-Serna

The regular languages with a neutral letter expressible in first-order logic with one alternation are characterized. Specifically, it is shown that if an arbitrary $\Sigma_2$ formula defines a regular language with a neutral letter, then…

Logic in Computer Science · Computer Science 2022-03-14 Corentin Barloy , Michaël Cadilhac , Charles Paperman , Thomas Zeume

This paper introduces derivation trees for general grammars. Within these trees, it defines context-dependent pairs of nodes, corresponding to rewriting two neighboring symbols using a non context-free rule. It proves that the language…

Formal Languages and Automata Theory · Computer Science 2024-09-12 Martin Havel , Zbyněk Křivka , Alexander Meduna

Polynomials are common algebraic structures, which are often used to approximate functions including probability distributions. This paper proposes to directly define polynomial distributions in order to describe stochastic properties of…

Information Theory · Computer Science 2022-12-12 Yue Yu , Pavel Loskot

This paper presents the main features of a system that aims to transform regular expressions into shorter equivalent expressions. The system is also capable of computing other operations useful for simplification, such as checking the…

Symbolic Computation · Computer Science 2023-07-14 Baudouin Le Charlier

In this paper, we study representations of real numbers in the positional numeration system with negative basis, as introduced by Ito and Sadahiro. We focus on the set $\Z_{-\beta}$ of numbers whose representation uses only non-negative…

Number Theory · Mathematics 2015-03-13 P. Ambrož , D. Dombek , Z. Masákova , E. Pelantová

A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no…

Logic in Computer Science · Computer Science 2017-01-11 Noam Zeilberger , Alain Giorgetti

A dominating set $S$ of a graph is a metric-locating-dominating set if each vertex of the graph is uniquely distinguished by its distances from the elements of $S$, and the minimum cardinality of such a set is called the…

Combinatorics · Mathematics 2016-04-14 Antonio González , Carmen Hernando , Mercè Mora

A palintiple is a natural number which is an integer multiple of its digit reversal. A previous paper partitions all palintiples into three distinct classes according to patterns in the carries and then determines all palintiples belonging…

Number Theory · Mathematics 2015-03-31 Benjamin V. Holt

We present a Positional Description Scheme (PDS) tailored for digit sequences, integrating placeholder value information for each digit. Given the structural limitations of subword tokenization algorithms, language models encounter critical…

Computation and Language · Computer Science 2024-08-23 Deepanshu Gupta , Javier Latorre

In 1909 Borel defined normality as a notion of randomness of the digits of the representation of a real number over certain base (fractional expansion). If we think the representation of a number over a base as an infinite sequence of…

Number Theory · Mathematics 2017-11-15 Ariel Zylber

Significant advances have been made in artificial systems by using biological systems as a guide. However, there is often little interaction between computational models for emergent communication and biological models of the emergence of…

Machine Learning · Computer Science 2020-01-01 Travis LaCroix

In this paper we address the problem of representing solutions of a system of scalar linear partial difference equations akin to state space equations of 1-D systems theory. We first obtain a representation formula for a special class of…

Analysis of PDEs · Mathematics 2015-05-22 Debasattam Pal , Harish K. Pillai