17. January 2022

Decidability and k-regular sequences