Assertion: regular sequence | /r/HasProperty | oeis
Facets:
Source sentences:
text: Both the Baum–Sweet sequence (OEIS: A086747) and the regular paperfolding sequence (OEIS: A014577) are automatic.