CS 3719 (Theory of Computation and Algorithms)
Lecture 15
Antonina Kolokolova
February 10 2011
1
Turing machines
Now we are moving on to the model of computation which we will use for the rest of the
CS 3719 (Theory of Computation and Algorithms)
Lecture 9
Antonina Kolokolova
January 25, 2011
1
Pushdown automata
Last class we have seen that some languages are not regular. And, moreover, the examp
CS 3719 (Theory of Computation and Algorithms)
Lecture 10
Antonina Kolokolova
January 27, 2011
Let us do one more example of a Pushdown Automaton. In this case, we will consider a
language where non-
CS 3719 (Theory of Computation and Algorithms)
Lecture 7
Antonina Kolokolova
January 20, 2011
Example 1. Here is an example of converting a 3-state NFA into a DFA, following the
procedure from the la
CS 3719 (Theory of Computation and Algorithms)
Lecture 6
Antonina Kolokolova
January 18, 2011
1
Closure under concatenation and star operations
Last time, we showed that the class of regular language
CS 3719 (Theory of Computation and Algorithms)
Lecture 2
Antonina Kolokolova
January 7, 2011
1
Preliminaries: Alphabets and languages
We will start by introducing some notation.
Here, dene an alphab
CS 3719 (Theory of Computation and Algorithms)
Lecture 4
Antonina Kolokolova
January 18, 2012
1
Undecidable languages
1.1
Church-Turing thesis
Lets recap how it all started. In 1990, Hilbert stated a
CS 3719 (Theory of Computation and Algorithms)
Lecture 5
Antonina Kolokolova
January 23, 2012
1
Reductions
Now we will proceed to show that many problems are undecidable (and some of them are not
sem
CS 3719 (Theory of Computation and Algorithms)
Lecture 11
Antonina Kolokolova
January 28, 2011
0.1
Regular languages vs. context-free languages
Last class we have seen an example of a nonregular lang
CS 3719 (Theory of Computation and Algorithms)
Lecture 12
Antonina Kolokolova
February 1, 2011
Last class we saw that regular languages are a subclass of context-free languages. You may
be wondering
CS 3719 (Theory of Computation and Algorithms)
Lecture 20
Antonina Kolokolova
February 24, 2011
0.1
Examples of reductions
Recall that A m B i there exists a computable function f such that x x A i
A
CS3719 Algorithms and Complexity
Instructor: Cao An Wang
Winter, 2014
OBJECTIVES OF THE COURSE
This course will study some abstract machine models and computability; methods for
analyzing time and spa
CS 3719 (Theory of Computation and Algorithms)
Lecture 17
Antonina Kolokolova
February 15, 2011
0.1
Multi-tape Turing machine
Often it is convenient to describe a Turing machine using several tapes,
CS 3719 (Theory of Computation and Algorithms)
Lecture 16
Antonina Kolokolova
February 11, 2011
Let us dene more formally what is a computation of a Turing machine. Recall that for
regular languages
CS 3719 (Theory of Computation and Algorithms)
Lecture 13
Antonina Kolokolova
February 4, 2011
In the last lecture we proved one direction of the equivalence between the class of languages
accepted b
CS 3719 (Theory of Computation and Algorithms)
Lecture 14
Antonina Kolokolova
February 8 2011
1
Pumping lemma for CFLs
Just like we proved that certain languages are not regular by dening a property
CS 3719 (Theory of Computation and Algorithms)
Lecture 1
Antonina Kolokolova
January 6, 2011
This course will focus on the theory of computation, that is, problems that can (and cannot)
be solved com