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