Machine generated authority record.

Work cat.: (OSt)658: Martin, John C., Introduction to languages and the theory of computation /, c2003.