1 votes 1 votes can someone please help to elaborate the given ans for this que? S Ram asked Jan 7, 2017 S Ram 242 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
1 votes 1 votes First problem is checking finiteness of language. which is undecidable as no turing machine can tell whether another turing machine will accept only a finite number of inputs. However second is semi decidable. What we can do is take a turing machine and run all the possible inputs one by one on this machine. Any time when this machine accepts more than two inputs, Accept it. those inputs which are not part of the language might be rejected or might loop infinitely. Thus its not recursive but certainly its turing recognizable. http://stanford.edu/~jbooher/expos/computability_promys.pdf Mandeep Singh answered Jan 7, 2017 • edited Jan 7, 2017 by Mandeep Singh Mandeep Singh comment Share Follow See all 0 reply Please log in or register to add a comment.