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