Machine generated authority record.
Work cat.: (OSt)30333: Nagpal C K, Formal Languages and Automata Theory