Assertion: sequence's term | /r/HasProperty | a mapping of the final state
Facets:
Source sentences:
text: The n-th term of an automatic sequence a(n) is a mapping of the final state reached in a finite automaton accepting the digits of the number n in some fixed base