Question

Show that every infinite Turing-recognizable language is the range of some one-to-one computable function.

Show that every infinite Turing-recognizable language is the range of some one-to-one computable function.

0 0
Add a comment Improve this question Transcribed image text
Answer #1

set of all string over any finite alphabet can be enumerated i.e. it take finite number of steps taken to generate an element of language.

suppose alphabet Σ = {a,b}
Σ* = {ε,a,b,aa,ab,ba,bb...................}

Go length wise and dictionary order
length 0 ε
length 1 a,b
length 2 aa,ab,ba,bb and so on.........

Here exists a enumerated method through which any string over set Σ = {a,b} can be generated in constant time (through index)

Therefore, set of all string over any finite alphabet Σ = {a,b} are countable .
Turing-recognizable language is Recursive Language.
Recursive language is subset of all string over any finite alphabet Σ = {a,b}
Therefore ,Recursive Language is also countable.

Hence,every infinite Turing-recognizable language is the range of some one-to-one computable function.

Add a comment
Know the answer?
Add Answer to:
Show that every infinite Turing-recognizable language is the range of some one-to-one computable function.
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Not the answer you're looking for? Ask your own homework help question. Our experts will answer your question WITHIN MINUTES for Free.
Similar Homework Help Questions
ADVERTISEMENT
Free Homework Help App
Download From Google Play
Scan Your Homework
to Get Instant Free Answers
Need Online Homework Help?
Ask a Question
Get Answers For Free
Most questions answered within 3 hours.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT