Assertion: sequence's subsequence | /r/HasProperty | k-automatic
Facets:
Source sentences:
text: Then a two-sided infinite sequence a(n) n ∈ Z {\displaystyle \in \mathbb {Z} } is (−k)-automatic if and only if its subsequences a(n) n ≥ 0 and a(−n) n ≥ 0 are k-automatic.