Assertion: regular sequence | /r/HasProperty | characterized as sequence
Facets:
Source sentences:
text: The k-regular sequences can be characterized as those sequences whose k-kernel is finitely-generated.