Theory of Computation
Theory of Computation. Instructor: Prof. Raghunath Tewari, Department of Computer Science and Engineering, IIT Kanpur. This is an introductory course on Theory of Computation intended for undergraduate students in computer science. In this course we will introduce various models of computation and study their power and limitations. We will also explore the properties of the corresponding language classes defined by these models and the relations between them. We will assume the student is comfortable in analytical reasoning and has preferably done a course on Data Structures and Algorithms. (from nptel.ac.in)
| Lecture 16 - Examples of Context Free Grammars, Reg Subset of Context Free Languages |
In this lecture we formally define context-free grammar and construct some examples of such grammars. We also give a constructive proof, which shows that every regular language is also context-free.
Go to the Course Home or watch other lectures: