19. May 2020

Decidability and k-regular sequences