Elements of the theory of computation - Lewis Harry R; Papadimitriou Christos H; Lewis Harry R; Papadimitriou Christos H (New Delhi PHI Learning Private Limited, 1998)
Index 353-361p.
Keywords: Turing machines; Undecidability; Finite automata