Machine generated authority record.
Work cat.: (OSt): Saradhi Varma G P, Theory of Computation: Formal Languages and Automata Theory