[PDF] Top 20 Cobham’s Theorem and Automaticity
Has 10000 "Cobham’s Theorem and Automaticity" found on our website. Below are the top 20 most common "Cobham’s Theorem and Automaticity".
Cobham’s Theorem and Automaticity
... sequence and let g be a Sturmian ...f and g) such that if f and g have a factor in common of length n, then n ≤ ...often, and with bounded gap size between two consecutive ...· and g = ... Voir le document complet
17
Contributions to Recognizability: Self-generating Sets, Decidability, Automaticity and Multidimensional Sets
... N and for the genealogical order induced by the order on the ...Σ and a total order over ...Rigo and A. Maes [RM02] general- ized Cobham’s second theorem by proving that a set is ... Voir le document complet
148
(Non)Automaticity of number theoretic functions
... Theorem 3.1. Let k ≥ 2 be an integer and let (v n ) n≥0 be a k–regular sequence with values in C. Then the Dirichlet series P n≥1 vnn −s is the first component of a Dirichlet vector (i.e., a vector of ... Voir le document complet
15
Automaticity IV : sequences, sets, and diversity
... [5] A. Cobham. Uniform tag sequences. Math. Systems Theory 6 (1972),164-192. [6] D. Crisp, W. Moran, A. Pollington, and P. Shiue. Substitution invariant cut- ting sequences. J. Théorie Nombres Bordeaux 5 ... Voir le document complet
22
Prime geodesic theorem
... From the above arguments one sees that in order to reduce the exponent 3 one cannot simply handle the sum over the zeroes in (1.1) by summing up the terms with absolute values but a significant concellation of terms must ... Voir le document complet
15
Gibbard-Satterthwaite Theorem
... clones and therefore no diversity in the preferences), or 4/ the majority between two alternatives only, whatever the num- ber of other alternatives existing and the votes that are expressed for ... Voir le document complet
12
Linear turnpike theorem
... [24] A. N. Tikhonov, V. Y. Arsenin, Solutions of ill-posed problems, V. H. Winston & Sons, Washington, D.C.: John Wiley & Sons, New York-Toronto, Ont.-London, 1977. Translated from the Russian, Preface by ... Voir le document complet
26
Vector and scalar potentials, Poincaré's theorem and Korn's inequality
... classical theorem of Poincar´ e In this work, we assume that Ω is a bounded open connected of R 3 with a Lipschitz-continuous ...X and its dual X 0 ... Voir le document complet
8
Effective randomness, strong reductions and Demuth's theorem
... on, and then bets on the value of the ...randomness, and in [ MMN + 06 ] that in the definition Kolmogorov-Loveland randomness, one can assume that only total non-monotonic strategies are ... Voir le document complet
25
Conditional Probabilities and van Lambalgen’s Theorem Revisited
... stripes, and the sum of their horizontal sizes is bounded by ...U1 and U2 ...definitions) and U2 -good ...-interval and the upper bound for the vertical size of U2 in the stripe is less than ... Voir le document complet
20
Fisher information and the Fourth Moment Theorem
... Moment Theorem of Nualart and Peccati ...limit theorem together with some rates of convergence for the normal convergence of a standardized version of the quadratic variation of the fractional ... Voir le document complet
24
The Compression Theorem of Rourke and Sanderson
... The ability to straighten a vector field in an arbitrarily small neighborhood allows us to prove the Compression Theorem for immersions as well as for multiple vector fiel[r] ... Voir le document complet
33
Theorem Proving Modulo
... Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA Rennes, Ir[r] ... Voir le document complet
31
Poisson processes and a log-concave Bernstein theorem
... for all t ∈ [0, 1]. In this section we give a discrete version of Borell’s formula in which the Gaussian mea- sure and the Brownian motion are replaced by the Poisson distribution and the Poisson pro- cess, ... Voir le document complet
20
Rigidity and Bellows-type Theorem for hedgehogs
... rigidity theorem: Any convex polyhedron of R 3 is rigid (that is, no convex polyhedron of R 3 can be continuously deformed so that its faces remain rigid) ...[14] and by ... Voir le document complet
11
Rank theorem in infinite dimension and lagrange multipliers
... a theorem of existence of Lagrange multipliers for problem (M ) (written in Introduction) by using the Rank Theorem in infinite ...constraint and nevertheless to avoid the presence of a multiplier ... Voir le document complet
11
Hölder norms and the support theorem for diffusions
... We give now another proof of a variant of (1.10) (or (1.19)), when β = 0, which does not require the use of Ciesielski’s theorem (that is (1.4) and (1.5)) nor the correlation inequality. (A.1) ... Voir le document complet
24
On the ultrametric Stone-Weierstrass theorem and Mahler's expansion
... (iii) One could give another proof of Theorem 2.4 using the theory of normal bases. Recall first a result of Coleman [8, Lemma A.1.2~ (extending to a rank-one valuation a result of J.-P. Serre [17, lemme 1] ... Voir le document complet
16
Ramsey's theorem for singletons and strong computable reducibility
... Ramsey’s theorem for n-tuples and k-colorings (RT n k ...effective and proof-theoretic content of RT n k , for various val- ues of n and k, has long been a major driving force of research in ... Voir le document complet
14
Quantitative versions of the Subspace Theorem and applications
... Győry and their coauthors on decomposable form equations and other families of Diophan- tine ...curves and surfaces, for which the reader is directed to ...Subspace Theorem even if we mean an ... Voir le document complet
24
Sujets connexes