Pumping Lemmas
Pumping Lemmas
for
Context-Free Grammars
Non-Context-Free Languages
In the study of Regular Languages we developed some results that
were useful to show that some languages were not Reg
Context-Free Languages
Context-Free Languages
Parsing & Ambiguity
When we are given a string belonging to a language, and the
language is dened by a grammar, is there a unique way to "parse the
string
PDAs & CFGs
Regular Languages = Finite Automata
Context-Free Languages = ? Automata
PDAs & CFGs
Regular languages (corresponding, as we saw, to left-linear or rightlinear grammars) were recognized by
Context-Free Grammars
Context-Free Grammars
Grammars
Grammars
What is a grammar?
One of the contributions of Noam Chomsky to Computer Science was
his introduction, around 1953, of the idea of generati
Functions
Functions
We would like to identify the class of those functions that are
computable via Turing Machines - hopefully, this class is large enough
for all our purposes although plenty of peopl
Fall 2007 - 91.502 - Theoretical Foundations
Computer Science Department
University of Massachusetts Lowell
Lowell, MA 01854
Oct. 10, 2007.
Exam Time: 1h & 15m. Each problem is worth 10 points. 50 pts
Regular Languages
What is this course about?
What is COMPUTATION?
Informally obvious, formally quite difcult to characterize: serious
attempts started in the 17th century; continued through the next t
Finite Automata
Finite Automata
Closure Properties of Regular Languages
Theorem. The class of regular languages is closed under union,
intersection, subtraction, complementation, concatenation, Kleene
Finite Automata
Finite Automata
Nondeterministic Finite Automata
The digraph construction for a regular expression introduced the idea
of -transitions; another idea that would seem natural is that of
Regular Languages
Regular Languages
What is this course about?
What is COMPUTATION?
Church & Turing
The two approaches were equivalent in the computations they
could represent - very different in what
Finite Automata
Closure Properties of Regular Languages
Theorem. The class of regular languages is closed under union,
intersection, subtraction, complementation, concatenation, Kleene
closure and rev
Finite Automata
Non-Regular Languages
One of the questions we can now attempt to answer has to do with the
existence of non-regular languages.
Ex. 2.54: prove that L = cfw_xxR | x cfw_0, 1* is not reg
Universal Turing Machines
Universal Turing Machines
Is the Turing Machine the top of the computational hierarchy? Or,
stating it differently, can a Turing Machine simulate ANY Turing
Machine? Can you
Fall 2008 - 91.502 - Theoretical Foundations - Second Exam
Computer Science Department
University of Massachusetts Lowell
Lowell, MA 01854
November 17, 2008.
Name:
1.
2.
Total:
3.
4.
5.
6.
7.
/50
Exam
Spring 2007 - 91.502 - Theoretical Foundations
Computer Science Department
University of Massachusetts Lowell
Lowell, MA 01854
April 24, 2007. Moved from April 17 - University closed.
Student Name :
1
Fall 2005 - 91.502 - Theoretical Foundations
Computer Science Department
University of Massachusetts Lowell
Lowell, MA 01854
Feb. 22, 2005.
Exam Time: 1h & 15m. Each problem is worth 10 points. 50 pts
Fall 2007 - 91.502 - Theoretical Foundations
Computer Science Department
University of Massachusetts Lowell
Lowell, MA 01854
Oct. 10, 2007.
Exam Time: 1h & 15m. Each problem is worth 10 points. 50 pts
Spring05 - 91.502 - Theoretical Foundations
Computer Science Department
University of Massachusetts Lowell
Lowell, MA 01854
April 20, 2005.
Exam Time: 1h & 15m. Each problem is worth 10 points. 50 pts
Finite Automata
Non-Regular Languages
One of the questions we can now attempt to answer has to do with the
existence of non-regular languages.
Ex. 2.54: prove that L = cfw_xxR | x cfw_0, 1* is not reg