प्रतीक चिन्ह
  • संकाय और कर्मचारी
  • प्रशिक्षण एवं नियुक्ति
  • छात्र गतिविधियाँ
  • भूतपूर्व छात्र
  1. ENEnglishहिंहिंदी
  2. त्वरित खोज...Ctrl K
  3. प्रवेश
    • संकाय और कर्मचारी
    • प्रशिक्षण एवं नियुक्ति
    • छात्र गतिविधियाँ
    • भूतपूर्व छात्र
    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.

    • SC & ST Cell

      The SC & ST Cell is dedicated to promoting the welfare and interests of students from Scheduled Castes and Scheduled Tribes, ensuring equal opportunities and support.

    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

    अनुसंधान→

    • 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.


    प्रवेश
प्रतीक चिन्ह
राष्ट्रीय प्रौद्योगिकी संस्थान, कुरूक्षेत्र
थानेसर, हरियाणा, भारत १३६११९
कलाकृति
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. © २०२५ राष्ट्रीय प्रौद्योगिकी संस्थान कुरुक्षेत्र। सर्वाधिकार सुरक्षित।

    CSPC301 Theory of Computation


    आवश्यकताएँ:

    इस कोर्स के लिए कोई आवश्यकता नहीं

    कोर्स प्रकृति: PC
    उद्देश्य:
  1. Provide a clear understanding of formal languages, grammars, and formal methods of computation.
  2. समान कोर्स:

    समन्वयक

    Dr. Sushil Kumar Madan
    Dr. Sushil Kumar Madan

    Professor

    skmadan@nitkkr.ac.in

    9416292144

    सामग्री

    ChariotHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorseHorse

    परिणाम

    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

    संदर्भ पुस्तकें

    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.