0 votes 0 votes L={ <M> | ‘M’ IS A TURING MACHINE AND ‘M’ COMPUTES THE PRODUCT OF TWO NUMBERS } here what can we say about ‘L’? Theory of Computation theory-of-computation decidability + – newdreamz a1-z0 asked Dec 22, 2018 newdreamz a1-z0 471 views answer comment Share Follow See all 8 Comments See all 8 8 Comments reply Show 5 previous comments Hemanth_13 commented Dec 22, 2018 reply Follow Share @Satbir if it is product of specific two numbers then L is finite right.. if we give some other TM (which is not in L) and asking it compute the product of those two number may or maynot halt right.. In that case as well its undecidable 1 votes 1 votes Manas Mishra commented Dec 22, 2018 reply Follow Share @Hemanth_13 cant we say that as it is non monotonic property so undecidable ? 0 votes 0 votes Ram Swaroop commented Dec 22, 2018 reply Follow Share Because behavior of machine is given 0 votes 0 votes Please log in or register to add a comment.