Assertion: sequence | /r/HasProperty | k \displaystyle k
Facets:
Source sentences:
text: Then the sequence s = ( s n ) n ≥ 0 {\displaystyle s=(s_{n})_{n\geq 0}} is k {\displaystyle k} -automatic if and only each of the fibres