Theory of computation - Natarajan, A M.; Tamilarasi, A.; Balasubramani, P. (New Delhi : New Age International Pvt Ltd, 2010)
Keywords: Context free languages; Turing machine; Undecidability