Post 1946: undecidable problem about matching tile-sequences. Used to show undecidability of CFG-ambiguity, semi-Thue word-problems. Foundation of reduction-techniques.
Post 1946: undecidable problem about matching tile-sequences. Used to show undecidability of CFG-ambiguity, semi-Thue word-problems. Foundation of reduction-techniques.