https://123dok.org/document/4yrxgnpy-deterministic-recognizability-of-picture-languages-with-wang-automata.html