637 views
0 votes
0 votes
Let A = {<M>|M is a TM and L(M) is regular}. Then A is _________

a) Decidable language and regular language

b) Undecidable but partially decidable

c) Totally not decidable

d) Decidable language but not regular language

1 Answer

0 votes
0 votes
Option B. According to Rice's theorem, anything non-trivial is undecidable. This is partially decidable, suppose the TM accepts a regular language, we can test this by passing all regular strings one after another, sooner or later the TM is going to stop by accepting it because it accepts reg language. This process can be fastened by using dovetailing technique i.e processing n strings parallely. But suppose the given TM doesn't accept regular language then the TM would be running forever checking every regular string. Thus it is partially decidable.

Related questions

0 votes
0 votes
0 answers
1
Mk Utkarsh asked Sep 15, 2018
551 views
A Turing Machine accepts a language if its DCFL but rejects if it's a non deterministic CFL