[Pre-Learning] MCS 702 – Advanced Theoretical Computer Science
About Course
- This core course delves into advanced topics in theoretical computer science, including formal languages, automata theory, and computational complexity.
- It provides a deep understanding of the theoretical limits of computation and prepares students to tackle complex algorithmic challenges.
- The course is designed for students who are pursuing advanced research in computer science and wish to gain a rigorous understanding of the foundational theories that underpin modern computing.
Course Objectives
- Develop an in-depth understanding of formal languages, automata theory, and computational complexity.
- Analyze the theoretical limits of computation and their implications for practical computing problems.
- Explore advanced algorithmic techniques and their applications in solving complex problems.
- Engage with current research topics in theoretical computer science.
- Prepare for advanced research in algorithm design and analysis.
Course Content
Topic 1: Introduction to Automata Theory
-
LO1: Differentiate between Deterministic and Non- deterministic Finite Automata
08:04 -
LO2: Prove the equivalence of Deterministic and Non- deterministic models
07:24 -
LO3: Construct Automata for given Regular languages
08:24 -
Knowledge Check