Automata and Complexity: Essays Presented to Eric Goles on the Occasion of His 70th Birthday
Ville Salo, Törmä Ilkka · UTUPub (University of Turku) · 2025
We prove that in the Game of Life, if the thickness-four zero-padding of a rectangular pattern is not an orphan, then the corresponding finite-support configuration is not a Garden of Eden, and that the preimage of every finite-support configuration has dense semilinear configurations.In particular finite-support Gardens of Eden are in co-NP.