Assertion: sequence's term | /r/HasProperty | characterized by finite automaton
Facets:
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.