He showed that any Turing machine can be turned into a set of Wang tiles.
הוא הראה שכל מכונת טורינג יכולה להיהפך לסדרת אריחי ואנג.