Hopcroft, John E. Introduction to Automata Theory Languages and Computation - New Delhi Narosa Publishing House 2001 - p.418 ISBN: 8185015961 Subjects--Topical Terms: Preliminaries Undecidability Oracle Computation Dewey Class. No.: 621.38195 H791I