2025 IT PCC-CS403 TH SEC B - FORMAL LANGUAGE & AUTOMATA THEORY