Machine generated authority record.
Work cat.: (OSt): Greenlaw R, Fundamentals of the Theory of Computation: Principles and Practice