Important Links
Machine generated authority record.
Work cat.: (OSt): Hopcroft, John E. 9850, Introduction to automata theory, Languages, and computation, 2013