Theory of Computation
| Participants: | 31 |
| Speakers: | 10 |
| Female participants: | 04 |
| Male participants: | 27 |
| Participants from SC/ST category: | 05 |
Lab Sessions
- Weighted Finite Automata
- Image Compression using Weighted Finite Automata
- YACC-LAB
Topics Covered
- Introduction to Theory of Computation
- Mathematical Foundation for TOC
- Automata Theory, Formal Languages, Chomsky's Hierarchy, Undecidability
- Designing of FA and Regular Expressions
- Properties of Regular Languages
- Pumping Lemma for Regular Languages
- Context Free Grammers
- Push Down Automata
- Pumping Lemma for Context Free Languages
- Introduction to Turing Machine
- Turing Machines & Computability
- Basic Time and Space Complexity Classes
- Non-Determinism and the Class NP
- Introduction to Theory of NP Completeness
- Teaching/Learning Process, Intractable Problems, Weighted Finite Automata
- Image Compression using Weighted Finite Automata, Weighted Finite Automata for Image Authentication, Distributed Finite Automata
- Input/Output Automata, Intractable Problems
- Church-Turing Hypothesis and Undecidability
- Computation/Space/Communication Complexity Theory
- Probabilistic Turing Machines and Randomization, Theory of Quantum Computation
- Applications of Abstract Machines and Languages, Application of Automata in ECC
- Research Issues in Theory of Computation
Highlights
List of External Speakers
Dr. V. C. V. Rao(Chief Guest), Associate Director, C-DAC, Pune
Prof. Kannan Srinathan, Assistant Professor, IIIT, Hyderabad
Dr. Dinesh Gopalani, Assistant Professor, MNIT, Jaipur
Mr. Shibin George,Software Engineer, Qualcomm
List of Internal Speakers
Prof. T.Ramesh , Professor, Dept of CSE, NIT Warangal
Dr. U.S.N.Raju, Assistant Professor, Dept of CSE, NIT Warangal
Dr. P. Venkata Subba Reddy, Assistant Professor, Dept of CSE, NIT Warangal
Dr. R. S. Selvaraj, Assistant Professor,Dept of Maths, NIT Warangal
Dr. Manjubala Bisi, Adhoc Faculty, Dept of CSE, NIT Warangal
Feedback Summary