Organized by the Department of Computer Science and Engineering
Dates: 24th & 25th October 2025
Introduction
The Department of Computer Science and Engineering successfully organized a Two-Day Workshop on “Theory of Computation – Conceptual Clarity with Exam Point of View” on 24th and 25th October 2025. The workshop was coordinated by Dr. Reshmi B (Associate Professor, CSE) and Ms. Happy A (Assistant Professor, CSE). The session aimed to strengthen students’ conceptual understanding of core topics in Theory of Computation (ToC) with a focus on exam readiness.
Objectives of the Workshop
– To build strong foundational knowledge of automata theory and formal languages.
– To provide step-by-step clarification of key concepts relevant to university exams.
– To help students understand problem-solving approaches through examples and demonstrations.
– To bridge the gap between conceptual understanding and exam-oriented preparation.
Day 1 Highlights (24-10-2025)
The workshop began at 9:00 AM, followed by informative sessions focused on the fundamentals of automata and regular languages.
| Session | Time | Topic | Highlights |
| Session 1 | 9:00 – 10:30 AM | Foundations of Automata Theory | Alphabet, strings, languages, computational models |
| Session 2 | 10:45 – 12:30 PM | DFA, NFA & Regular Expressions | Subset construction, RE to FA conversions, Regular Grammar |
| Session 3 | 1:15 – 2:30 PM | Context-Free Grammars | Grammar design, derivations, ambiguity resolution |
| Session 4 | 2:45 – 3:45 PM | Applications & Pumping Lemma | DFA minimization, real-world applications |
Day 2 Highlights (25-10-2025)
| Session | Time | Topic | Highlights |
| Session 1 | 9:00 – 10:15 AM | Pushdown Automata | DPDA vs NPDA, CFG ↔ PDA |
| Session 2 | 10:30 – 12:30 PM | CFG Simplification | CNF, GNF, ambiguity analysis |
| Session 3 | 1:15 – 2:15 PM | Turing Machines | Definition, examples, variants |
| Session 4 | 2:30 – 3:30 PM | Computability & Undecidability | Halting Problem, PCP |
Outcomes of the Workshop
– Improved conceptual understanding of ToC topics.
– Enhanced ability to solve exam-oriented questions.
– Strengthened confidence in theoretical problem-solving.
Conclusion
The two-day workshop successfully met its objectives by providing students with conceptual clarity and insight into exam-focused approaches in Theory of Computation. The Department of CSE extends heartfelt thanks to the resource persons and all participants for making the workshop a grand success.
