Automatic sequence

Known as: Cobham's theorem, Cobham–Semenov theorem, Cobham-Semenov theorem 
In mathematics and theoretical computer science, an automatic sequence (called a k-automatic sequence when one wants to indicate that the base of the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1959-2018
024619592018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Mix-automatic sequences form a proper extension of the class of automatic sequences, and arise from a generalization of finite… (More)
  • figure 2
Is this relevant?
2012
2012
The critical exponent of an infinite word is defined to be the supremum of the exponent of each of its factors. For k-automatic… (More)
Is this relevant?
2009
2009
An important and well-studied problem is the production of semantic lexicons from a large corpus. In this paper, we present a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2007
2007
We present some asymptotic results about the frequency of a letter appearing in a generalized unidimensional automatic sequence… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is… (More)
  • figure 1
Is this relevant?
2003
2003
We introduce a second-order system V1-Horn of bounded arithmetic formalizing polynomialtime reasoning, based on Grädel’s [11… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach… (More)
  • figure 3
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2000
2000
Let L be an infinite regular language on a totally ordered alphabet (Σ, <). Feeding a finite deterministic automaton (with output… (More)
Is this relevant?
1998
1998
If a nonperiodic sequence X is the image by a morphism of a fixed point of both a primitive substitution σ and a primitive… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
A general syntax for expressing biomolecular sequence motifs is described, which will be used in future releases of the PROSITE… (More)
  • figure 1
  • table 1
Is this relevant?