https://123dok.net/document/zkwo5p8z-simulation-of-effective-subshifts-by-two-dimensional-subshifts-of-finite-type.html