Assertion: sequence | /r/HasProperty | k-automatic
Facets:
value: for r ≥
type: OTHER
Source sentences:
text: However, if the k-kernel is finite, then the sequence s(n) is k-automatic, and the converse is also true.
text: For k ≥ 2 and r ≥ 1, a sequence is k -automatic if and only if it is k