Post Correspondence Problem

Home > Languages > Formal Language > Turing Machines > Post Correspondence Problem

This is a decision problem in computer science that deals with finding a solution to a certain type of puzzle. It is related to the theory of formal languages and automata theory.