12. March 2022

Decidability and k-regular sequences