Fundamentals of the theory of computation : principles and practice /: principles and practice. (©1998)