Learning Goals
Church-Turing Thesis
Definition of a Turing Machine
Understanding state diagram and execution of a TM
Understanding pseudocode description of a TM
Recognizing vs Deciding:
Def: decider
Lecture 8
September-06-12
Copyright 2016 by Nicholas J.A. Harvey.
You may not distribute this document without permission.
8:38 PM
CFGs:
- Backus & Naur developed models for programming languages.
- D
Learning Goals
LearningGoals
Definitions:
Definitions:DFA,NFA,
DFA NFA Language
LanguageAccepted
Accepted
By,RegularLanguage
What is non determinism?
Whatisnondeterminism?
Copyright2016byNicholasJ.A
Copyright 2016 by Nicholas J.A. Harvey.
You may not distribute this document without permission.
Lecture 12
October-01-13
10:11 AM
Last Time:
- Formal definition of Turing machines
- Recognized / deci
Learning Goals
LearningGoals
Whatistheoryofcomputationabout?
What is theory of computation about?
Whatisacomputationalproblem?
h i
i ?
Whatiscomputation?
Definitions:alphabet,string,computational
Learning Goals
LearningGoals
Theorem:AnNFAcanbeconvertedtoaDFA.
An NFA can be converted to a DFA.
Theorem:
Theorem:Regularlanguagesclosedunder
union,concatenation,star,complement
,
,
,
p
Definition:
Lecture 9
September-24-13
8:37 PM
Copyright 2016 by Nicholas J.A. Harvey.
You may not distribute this document without permission.
Last time we discussed parse trees: a useful way to capture the struc
Copyright 2016 by Nicholas J.A. Harvey.
You may not distribute this document without permission.
Lecture 11
October-04-12
6:41 PM
Church-Turing Thesis:
"Intuitive notion of algorithm" equals "Turing m
Learning Goals
The idea that an algorithm needs a formal definition
E.g., lambda-calculus or Turing Machines. (No details yet.)
The notion of Turing complete
The idea that some problems have no al
Learning Goals
Recognizable vs Decidable Languages
Hierarchy of languages
Can we make TMs more powerful by adding features?
Multitape Turing Machines
Non-deterministic Turing Machines
Copyright 2
Learning Goals
LearningGoals
DefinitionofNFAs
of NFAs
Definition
Theorem:Regularlanguagesclosedunder
union concatenation star complement
union,concatenation,star,complement
(Tobeseenagainnexttime)
C
Learning Goals
LearningGoals
Theconceptofnon
concept of nonregular
regularlanguages.
languages.
The
Alongwalkinagraphmustcontainacycle.
The pumping
pumpingcondition
condition:Anecessaryconditionfor
Learning Goals
Definition of leftmost derivation
Definition of ambiguous grammars
Theorem: Equivalence between PDAs and CFGs
We only discuss building a PDA to recognize the language
described by a
Lecture 10
September-25-13
9:37 AM
Wrap-up of CFLs
- Every PDA can be converted to a CFG. The details are rather lengthy. There are many details, and
it's not clear that you will gain much from discus
Learning Goals
Definition of CFGs and CFLs
Meaning of u v (Yields)
Meaning of u * v (Derives)
Understanding the language specified by a CFG
Parse Trees
Copyright 2016 by Nicholas J.A. Harvey. You may
Learning Goals
LearningGoals
ProofofPumpingLemma.
of Pumping Lemma.
Proof
HowtousePumpingLemmatoprovethata
languageisnotregular.
g g
g
Copyright2016byNicholasJ.A.Harvey.Youmaynotdistributethisdocume
The P vs. NP problem
Madhu Sudan
May 17, 2010
Abstract
The resounding success of computers has often led to some common misconceptions about
computer science namely that it is simply a technological e
The Status of the P versus NP Problem
Lance Fortnow
Northwestern University
1.
INTRODUCTION
When Moshe Vardi asked me to write this piece for CACM,
my first reaction was the article could be written i
THE P VERSUS NP PROBLEM
STEPHEN COOK
1. Statement of the Problem
The P versus NP problem is to determine whether every language accepted
by some nondeterministic algorithm in polynomial time is also a
CPSC 421: Introduction to Theory of Computing
Assignment #0, due Monday September 12th, in class
[5] 1. Let L1 and L2 be finite sets. Suppose that C is a finite set with L1 C and L2 C.
Suppose that x
CpSc 421
Midterm 1
October 11, 2006
Do problems 0 and 1 and any two of 2, 3, or 4. Graded on a scale of 100 points.
0. (5 points) Your name: Mark Greenstreet
Your student #: 00000000
1. (35 points) (S
CpSc 421
Midterm 1
October 8, 2008
Do problem 0 and any three of problems 1-5.
If you attempt more than three of problems 1-5, please indicate which ones you want graded otherwise, Ill make an
arbitra