Assertion: given sequence | /r/HasProperty | noted in automata-theoretic definition
Facets:
Source sentences:
text: For instance, as noted in the automata-theoretic definition, a given sequence remains automatic under both direct and reverse reading of the input sequence.