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.

    CSOE406 Theory of Computation

    Prerequisites:

    No prerequisites for this course

    Course Nature:
    Objectives:
  1. The objective of this course is to give students a clear understanding of concepts 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. To understand the foundations finite automata (deterministic or non-deterministic), FSM and master regular languages.
    2. Be exposed to types of languages (type-0, type-1, type-2, type-3), context-free languages (type-2) and using pushdown automata (PDA) as its acceptor.
    3. To design the Turing machines for various mathematical function, string function etc
    4. To demonstrate concept of decidability, unsolvability and recursive languages
    ChariotHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorse

    Reference Books

    1. John C. Martin: Introduction to Languages and the Theory of Computation, MGH.

    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.