Pranava K. Jha: CSCI 402/502: Introduction to Theory of Computation

Dept. of Computer Science

CSCI 402/502: Introduction to Theory of Computation
Instructor: Pranava K. Jha

Handouts

How To Prove IT (Dana Angluin)

Developing Regular Expressions: Some Examples

Identities of Regular Expressions

Verbal Descriptions and Regular Expressions: Some Examples

State Minimization of a DFA: An Example

Applying Pumping Lemma for Regular Languages: Some Examples

An Example of a Non-regular Language that Satisfies the Pumping Lemma
(From the Lecture Notes of Dr. Giora Slutzki, Iowa State University)

Closure of Regular Languages under Reversal

Deterministic Pushdown Automata: Some Examples

Proving the Correctness of a Context-free Grammar: Some Examples

Applying Pumping Lemma for Context-free Languages: Some Examples