A classification of one-dimensional cellular automata using infinite computations
scientific article; zbMATH DE number 6596611
scientific article