Cobham–Semenov theorem

Redirect to:

  • Automatic sequence#Properties