18. February 2021

Decidability and k-regular sequences