The surjectivity characterization conjecture for LR-separated cellular automata
Surjectivity characterization conjecture. FFF is surjective if and only if either
MathDB