Machine generated authority record.
Work cat.: (OSt): Hopcroft, John E. 1052, Introduction to automata theory, languages, and computation /, 2014.
