Machine generated authority record.
Work cat.: (OSt)0: Hopcroft, John E., 1939- 16066, Introduction to automata theory, languages, and computation /, c1979.