Assertion: automatic sequence | /r/CapableOf | call k-recognizable sequence
Facets:
value: in mathematics
type: OTHER
value: in theoretical computer science
type: OTHER
Source sentences:
text: In mathematics and theoretical computer science, an automatic sequence (also called a k-automatic sequence or a k-recognizable sequence when one wants to indicate that the base of the numerals used is k) is an infinite sequence of terms characterized by a finite automaton.