A program for running CFGs can be downloaded from this tar file.
A program for running TMs can be downloaded from this tar file.
Homework 1, Homework 2, Homework 3, Homework 4, Homework 5, Homework 6.
Finite Automata, Nondeterminism, Regular Expressions, Nonregular Languages.
Context-Free Grammars, Pushdown Automata, Non-Context-Free Languages.
Turing Machines, Variants of Turing Machines, Definition of Algorithm.
Practical Use of Automata.
Decidable Problems, The Halting Problem.
Undecidable Problems, Post Correspondence Problem, Mapping Reducibility.
Measuring Complexity, The Class P, The Class NP, NP-Completeness, Additional NP-Complete Problems.
Back to Tom Bylander's Home Page