Logo
  • Faculty & Staff
  • Training & Placement
  • Student Activities
  • Alumni
  1. ENEnglishहिंहिंदी
  2. Quick Search...Ctrl K
  3. Login
    • Faculty & Staff
    • Training & Placement
    • Student Activities
    • Alumni
    institute

    Institute→

    • Administration

      Meet the leadership team guiding our institution.

    • Sections

      Explore the various sections that support campus life and academics.

    • Campus Infrastructure

      Discover the state-of-the-art facilities and infrastructure on campus.

    • Hostels

      Information about on-campus accommodation and hostel facilities.

    • IKS Cell

      Explore the minds that work hard to maintain our institute’s high reputation and proper functioning!

    • IIC Cell

      Explore the minds that work hard to maintain our institute’s high reputation and proper functioning!

    • IPR Cell

      The Intellectual Property Rights Cell promotes awareness and assists in protecting innovations, ideas, and creative works.

    academics

    Academics→

    • Departments

      Explore the diverse academic departments and their offerings.

    • Programmes

      Discover our range of undergraduate and postgraduate programmes.

    • Courses & Curricula

      Browse through the detailed list of courses available.

    • Convocation

      Get information on upcoming convocation ceremonies.

    • Awards

      Recognizing excellence in academics, research, and beyond.

    • Scholarship

      Learn about scholarships, eligibility, and application details.

    • Academic Notifications

      Stay updated with the latest academic announcements and deadlines.

    research

    Research→

    • Sponsored Projects

      Externally funded sponsored research projects addressing real-world challenges and advancing knowledge.

    • Research and Consultancy

      Research and development across diverse fields, from advanced technologies to social sciences, driving innovation and societal impact.

    • Memorandum of Understanding

      Collaborations and partnerships through signed MoUs with leading institutions, industries, and organizations worldwide.

    • Patents & Technologies

      Patents and developed technologies that showcase the institute's innovation and contribution to industry and academia.

    • Copyrights & Designs

      Registered copyrights and industrial designs reflecting creative and original contributions across various domains.

    • Important Resources

      Key resources, guidelines, and documents supporting research, consultancy, and intellectual property activities.

    Login
Logo
National Institute of Technology, Kurukshetra
Thanesar, Haryana, India 136119
Artwork
Quick Access
  • Campus Infrastructure
  • Hostels
  • Administration
  • Estate Section
  • Accounts Section
  • Library Resources
  • Medical Facilities
Academic Resources
  • Academic Notifications
  • Scholarships
  • Awards
  • Curricula
  • Department Achievements
  • Laboratory Facilities
  • Research Publications
Important Links
  • Faculty & Staff
  • Training & Placement
  • Student Activities
  • Library Committee
  • Membership Privileges
  • Research Scholars
  1. © 2025 National Institute of Technology Kurukshetra. All Rights Reserved.

    CSPC301 Theory of Computation

    Prerequisites:

    No prerequisites for this course

    Course Nature: PC
    Objectives:
  1. Provide a clear understanding of formal languages, grammars, and formal methods of computation.
    2. Similar Courses:

    Course Coordinator

    Dr. Sushil Kumar Madan
    Dr. Sushil Kumar Madan

    Professor

    skmadan@nitkkr.ac.in

    9416292144

    Content

    ChariotHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorse

    Outcomes

    ChariotHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorse
    1. Understand the foundations of finite automata (deterministic or non-deterministic), FSMs, and regular languages.
    2. Understand types of languages (type-0, type-1, type-2, type-3), context-free languages (type-2), and using pushdown automata (PDA) as acceptors.
    3. Design Turing machines for various mathematical and string functions.
    4. Demonstrate the concepts of decidability, unsolvability, and recursive languages.
    ChariotHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorse

    Reference Books

    1. John C. Martin: Introduction to Languages and the Theory of Computation, McGraw-Hill.

    2. Lewis & Papadimitriou: Elements of the Theory of Computation, PHI.

    3. Daniel I.A. Cohen: Introduction to Computer Theory, John Wiley.

    4. J.E. Hopcroft and J.D. Ullman: Introduction to Automata Theory, Languages, and Computation, Narosa.