Machine generated authority record.

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