Machine generated authority record.

Work cat.: (OSt)31079: Pandey, Adesh K., An introduction to automata theory & formal languages /, 2007.