Question: Your adventures as a secret agent continue. Last time, the DFA told you to keep going, so you re still stuck behind enemy lines, trying
Your adventures as a secret agent continue. Last time, the DFA told you to keep going, so youre still stuck behind enemy lines, trying to receive messages over the alphabet Sigma a b Your home base has come up with a plan: to prevent enemy action from altering the message, theyll send each message to you twice, and theyll provide you with a DFA to recognise the language xx : x in Sigma so you can verify the message has not been tampered with.
Unfortunately, this plan has run into a snag. You remember from your advanced training in models of computation that this language is not regular, so no DFA will be able to recognise it
Your country believes it has a solution: instead of sending the second message unaltered, it will apply a function f to it The function f will be cleverly chosen to be a lengthpreserving injection f : Sigma Sigma Lengthpreserving means that lenfx lenx for all strings x ie applying f to any string always produces a string of the same length. An injection is a function such that for all x y in the domain with x y we have fx fy ie different inputs map to different outputs.
Hence, researchers are trying to find a lengthpreserving injection f such that the language x fxx in Sigma will be regular here x fx is the concatenation of strings x and fx But is this possible?
For instance, the function fx x is a lengthpreserving injection. We know that xx : x in Sigma is not regular, so this particular f wont do Another example of a lengthpreserving injection is fx reversex In this case, x fx : x in Sigma is the set of evenlength palindromes, which is also not regular.
Let f : Sigma Sigma be the function that turns every a into b and vice versa. For example, fabbabbaa baabaabb. Prove that the language x fx : x in Sigma is not regular.
Prove that for every lengthpreserving injection f : Sigma Sigma the language x fx : x in Sigma is not regular.
Prove or disprove the following claim: For every lengthpreserving function f : Sigma Sigma the language x fx : x in Sigma is not regular. Note that in the bonus part, f is not necessarily an injection. Do not use the pumping lemma.
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
