English
Related papers

Related papers: Sequential densities of rational languages

200 papers

Suppose that we are given an infinite binary sequence which is random for a Bernoulli measure of parameter $p$. By the law of large numbers, the frequency of zeros in the sequence tends to~$p$, and thus we can get better and better…

Logic · Mathematics 2018-10-18 Laurent Bienvenu , Santiago Figueira , Benoit Monin , Alexander Shen

We prove that if $p\geq 1$ and $-1\leq r\leq p-1$ then the binomial sequence $\binom{np+r}{n}$, $n=0,1,...$, is positive definite and is the moment sequence of a probability measure $\nu(p,r)$, whose support is contained in…

Probability · Mathematics 2014-06-04 Wojciech Mlotkowski , Karol A. Penson

Denote by $\mathbb{N}$ and $\mathbb{P}$ the set of all positive integers and prime numbers, respectively. Let $\mathbb{P}=\{p_1<p_2<\dots <p_n<\dots\}$, where $p_n$ is the $n$-th prime number. For $k\in\mathbb{N}$ we recursively define…

Number Theory · Mathematics 2022-01-06 Piotr Miska , János T. Tóth , Błażej Żmija

This paper considers estimation of a univariate density from an individual numerical sequence. It is assumed that (i) the limiting relative frequencies of the numerical sequence are governed by an unknown density, and (ii) there is a known…

Probability · Mathematics 2008-06-19 Andrew B. Nobel , Gusztav Morvai , Sanjeev R. Kulkarni

We propose a formalization of the three-tier causal hierarchy of association, intervention, and counterfactuals as a series of probabilistic logical languages. Our languages are of strictly increasing expressivity, the first capable of…

Logic in Computer Science · Computer Science 2021-06-03 Duligur Ibeling , Thomas Icard

We present a propositional logic with fundamental probabilistic semantics, in which each formula is given a real measure in the interval $[0,1]$ that represents its degree of truth. This semantics replaces the binarity of classical logic,…

Logic in Computer Science · Computer Science 2025-05-22 Francisco Aragão

We consider the problem of estimating the density $\Pi$ of a determinantal process $N$ from the observation of $n$ independent copies of it. We use an aggregation procedure based on robust testing to build our estimator. We establish…

Statistics Theory · Mathematics 2013-03-15 Yannick Baraud

Natural language semantics has recently sought to combine the complementary strengths of formal and distributional approaches to meaning. More specifically, proposals have been put forward to augment formal semantic machinery with…

Computation and Language · Computer Science 2021-03-03 Noortje J. Venhuizen , Petra Hendriks , Matthew W. Crocker , Harm Brouwer

A language $L$ is said to be dense if every word in the universe is an infix of some word in $L$. This notion has been generalized from the infix operation to arbitrary word operations $\varrho$ in place of the infix operation…

Formal Languages and Automata Theory · Computer Science 2019-03-08 Joey Eremondi , Oscar H. Ibarra , Ian McQuillan

We study the asymptotic density of the set of subscripts of the Bernoulli numbers having a given denominator. We also study the distribution of distinct Bernoulli denominators and some related problems.

Number Theory · Mathematics 2021-11-02 Carl Pomerance , Samuel S. Wagstaff

We study the concept of density for sets of natural numbers in some lacunary $A$-convergent sequence spaces. Also we are trying to investigate some relation between the ordinary convergence and module statistical convergence for evey…

Functional Analysis · Mathematics 2015-09-30 Ekrem Savas , Stuti Borgohain

Qualitative and quantitative approaches to reasoning about uncertainty can lead to different logical systems for formalizing such reasoning, even when the language for expressing uncertainty is the same. In the case of reasoning about…

Artificial Intelligence · Computer Science 2021-04-07 Matthew Harrison-Trainor , Wesley H. Holliday , Thomas F. Icard

We consider Delone sets with finite local complexity. We characterize validity of a subadditive ergodic theorem by uniform positivity of certain weights. The latter can be considered to be an averaged version of linear repetitivity. In this…

Combinatorics · Mathematics 2012-02-28 Adnene Besbes , Michael Boshernitzan , Daniel Lenz

Summarizing data samples by quantitative measures has a long history, with descriptive statistics being a case in point. However, as natural language processing methods flourish, there are still insufficient characteristic metrics to…

Computation and Language · Computer Science 2020-03-20 Yi-An Lai , Xuan Zhu , Yi Zhang , Mona Diab

An infinite sequence $\alpha$ over an alphabet $\Sigma$ is $\mu$-distributed w.r.t. a probability map $\mu$ if, for every finite string $w$, the limiting frequency of $w$ in $\alpha$ exists and equals $\mu(w)$. %We raise the question of how…

Formal Languages and Automata Theory · Computer Science 2022-11-16 Thomas Seiller , Jakob Grue Simonsen

This paper contributes to the study of the free additive convolution of probability measures. It shows that under some conditions, if measures $\mu_i$ and $\nu_i, i=1,2$, are close to each other in terms of the L\'{e}vy metric and if the…

Probability · Mathematics 2013-10-04 V. Kargin

In this paper, we construct a class of random measures $\mu^{\mathbf{n}}$ by infinite convolutions. Given infinitely many admissible pairs $\{(N_{k}, B_{k})\}_{k=1}^{\infty}$ and a positive integral sequence…

Functional Analysis · Mathematics 2025-04-23 Junjie Miao , Hongyi Liu , Hongbo Zhao

We consider a measure of similarity for infinite words that generalizes the notion of asymptotic or natural density of subsets of natural numbers from number theory. We show that every overlap-free infinite binary word, other than the…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Chen Fei Du , Jeffrey Shallit

In this paper, we study Bernoulli random sequences, i.e., sequences that are Martin-L\"of random with respect to a Bernoulli measure $\mu_p$ for some $p\in[0,1]$, where we allow for the possibility that $p$ is noncomputable. We focus in…

Logic · Mathematics 2019-03-26 Christopher P. Porter

Default logic encounters some conceptual difficulties in representing common sense reasoning tasks. We argue that we should not try to formulate modular default rules that are presumed to work in all or most circumstances. We need to take…

Artificial Intelligence · Computer Science 2013-02-08 Choh Man Teng