Question: a ) Assume L is a decidable language over the alphabet Sigma . Let M be a Turing machine that decides L , and
a Assume L is a decidable language over the alphabet Sigma Let M be a Turing machine that decides L and let s s skbe a lexicographical ordering of the strings in Sigma Describe an enumerator that prints the strings in L in lexicographical order.
b Assume there exists an enumerator E for L that prints the strings in lexicographical order. Write a decider for L You may assume L is infinite. You can use pseudocode for your decider.
c Would your decider still work if L is a finite language? Explain
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
