Question: what is mpcp in automata?
Answer: Modified Post Correspondence Problem (MPCP) Definition: first pair in the A and B lists must be the first pair in the solution, i.e., the problem is to determine if there is a sequence of zero or more integers i1, i2, …, im such that: w1wi1 wi2 …