4 Feb 2014 by missak boyajian
This is the solution in the book Introduction to Theory of computation by Sisper to prove that regural TM is undecidable.PROOF We let R be a TM that decides REGULARTM and construct TM S todecide ATM. Then S works in the following manner.S = “On input (M,W), where M is a TM and w is a...