Question: a. The following instance of Post's correspondence problem does not have a solution. Give an explanation why no solution can exist for this instance. {(abb,ab),(a,b),(ab,aa)}

 a. The following instance of Post's correspondence problem does not have

a. The following instance of Post's correspondence problem does not have a solution. Give an explanation why no solution can exist for this instance. {(abb,ab),(a,b),(ab,aa)} [5 marks] b. Construct a DFA that accepts all binary words that are not divisible by 5. Explain your construction. [10 marks] c. Briefly explain in one or two paragraphs how to construct a DFA for pattern matching in a text. Explain how the properties of the pattern can be used in the construction. [5 marks] d. Briefly explain in one or two paragraphs what does it mean for a problem to be undecidable? [5 marks]

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!