bibliographic details : Introducation to the theory of computation =