Elements of the theory of computation - Lewis Harry R; Papadimitriou Christos H; Lewis Harry R; Papadimitriou Christos H (Delhi PHI Learning, 1998)
Index 353-361p.
Keywords: Finite automate; Turing machines; NP completeness