English
Related papers

Related papers: On asymptotically automatic sequences

200 papers

In this work we construct an automaton for the commutative closure of a given regular group language. The number of states of the resulting automaton is bounded by the number of states of the original automaton, raised to the power of the…

Formal Languages and Automata Theory · Computer Science 2020-08-14 Stefan Hoffmann

A subsequence of a word $w$ is a word $u$ such that $u = w[i_1] w[i_2] \cdots w[i_k]$, for some set of indices $1 \leq i_1 < i_2 < \dots < i_k \leq \vert w \vert$. A word $w$ is \emph{$k$-subsequence universal} over an alphabet $\Sigma$ if…

Formal Languages and Automata Theory · Computer Science 2025-03-25 Duncan Adamson , Pamela Fleischmann , Annika Huch , Tore Koß , Florin Manea

Every function on a finite set defines an equivalence relation and, therefore, a partition called the kernel of the function. Automata such that every possible partition is the kernel of a word are called totally compatible. A…

Formal Languages and Automata Theory · Computer Science 2021-10-12 David Fernando Casas Torres

In this paper, given a simple linear recurrence sequence of algebraic numbers, which has either a dominant characteristic root or exactly two characteristic roots of maximal modulus, we give some explicit lower bounds for the index beyond…

Number Theory · Mathematics 2018-10-03 Min Sha

This paper examines Automatic Complexity, a complexity notion introduced by Shallit and Wang in 2001. We demonstrate that there exists a normal sequence $T$ such that $I(T) = 0$ and $S(T) \leq 1/2$, where $I(T)$ and $S(T)$ are the lower and…

Formal Languages and Automata Theory · Computer Science 2021-11-30 Liam Jordon , Philippe Moser

For the differential privacy under the sub-Gamma noise, we derive the asymptotic properties of a class of network models with binary values with a general link function. In this paper, we release the degree sequences of the binary networks…

Statistics Theory · Mathematics 2023-11-14 Jing Luo , Haoyu Wei , Xiaoyu Lei , Jiaxin Guo

Since the $\mathrm{Fibonacci}$ sequence has good properties, it's important in theory and applications, such as in combinatorics, cryptography, and so on. In this paper, for the generalized Fibonacci sequence…

Combinatorics · Mathematics 2025-10-16 Yongkang Wan , Zhonghao Liang , Qunying Liao

Vector Addition Systems with States (VASS) consists of a finite state space equipped with d counters, where in each transition every counter is incremented, decremented, or left unchanged. VASS provide a fundamental model for analysis of…

Logic in Computer Science · Computer Science 2017-08-31 Tomáš Brázdil , Krishnendu Chatterjee , Antonín Kučera , Petr Novotný , Dominik Velan

During the last years, asymptotic (or sequential) constraint qualifications, which postulate upper semicontinuity of certain set-valued mappings and provide a natural companion of asymptotic stationarity conditions, have been shown to be…

Optimization and Control · Mathematics 2023-02-10 Matúš Benko , Patrick Mehlitz

Discrete kernel smoothing is now gaining importance in nonparametric statistics. In this paper, we investigate some asymptotic properties of the normalized discrete associated-kernel estimator of a probability mass function. We show, under…

Statistics Theory · Mathematics 2025-02-11 Youssef Esstafa , Célestin C. Kokonendji , Sobom M. Somé

The double sequence of standardized sample means constructed from an infinite sequence of square integrable independent random vectors in the plane with identically distributed coordinates is jointly asymptotically Normal if and only if the…

Probability · Mathematics 2017-10-23 Rajeshwari Majumdar , Suman Majumdar

The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of regular languages is the maximal syntactic complexity of languages in that subclass, taken as a function…

Formal Languages and Automata Theory · Computer Science 2011-09-16 Janusz Brzozowski , Baiyu Li

In this paper, we prove that a class of regular sequences can be viewed as projections of fixed points of uniform morphisms on a countable alphabet, and also can be generated by countable states automata. Moreover, we prove that the…

Formal Languages and Automata Theory · Computer Science 2017-05-24 Jie-Meng Zhang , Jin Chen , Yingjun Guo , Zhixiong Wen

In a world of proliferating data, the ability to rapidly summarize text is growing in importance. Automatic summarization of text can be thought of as a sequence to sequence problem. Another area of natural language processing that solves a…

Computation and Language · Computer Science 2018-10-23 Jacob Krantz , Jugal Kalita

We make an asymptotic analysis via singularity analysis of generating functions of a number sequence that involves the Fibonacci numbers and generalizes the binomial coefficients.

Combinatorics · Mathematics 2025-03-25 Hebert Pérez-Rosés

A new numerical characterization of symbolic sequences is proposed. The partition of sequence based on Ke and Tong algorithm is a starting point. Algorithm decomposes original sequence into set of distinct subsequences - a patterns. The set…

Quantitative Methods · Quantitative Biology 2011-09-08 B. Kozarzewski

In this paper we consider a number of natural decision problems involving k-regular sequences. Specifically, they arise from - lower and upper bounds on growth rate; in particular boundedness, - images, - regularity (recognizability by a…

Formal Languages and Automata Theory · Computer Science 2022-02-02 Daniel Krenn , Jeffrey Shallit

Asymptotic freedom is a feature of quantum chromodynamics that guarantees its well-posedeness. We derive an analog of asymptotic freedom enabling unconditional stability of lattice Boltzmann simulation of hydrodynamics. For the lattice…

Mathematical Physics · Physics 2023-08-08 Seyed Ali Hosseini , Ilya Karlin

We prove a new asymptotic un-equipartition property for the perplexity of long texts generated by a language model and present supporting experimental evidence from open-source models. Specifically we show that the logarithmic perplexity of…

Computation and Language · Computer Science 2025-09-15 Tyler Bell , Avinash Mudireddy , Ivan Johnson-Eversoll , Soura Dasgupta , Raghu Mudumbai

This paper describes a construction of supermartingales realized as automatic functions. A capital of supermartingales is represented using automatic capital groups~(ACG). Properties of these automatic supermartingales are then studied.…

Formal Languages and Automata Theory · Computer Science 2018-02-20 Birzhan Moldagaliyev