Shift spaces, Languages and Transfinite Induction - Maira Aranguren; Jorge Campos; Neptalí Romero; Ramón Vivas (2023)