https://9dok.net/document/zwv4lx77-descriptional-complexity-of-cellular-automata-and-decidability-questions.html