23AD1501 - FORMAL LANGUAGES 

& 

AUTOMATA THEORY