.Open Class 03 -- History
. Context
.Table Date
.Item Meet'g
.Item $Study(2 pts)
.Item Bring(5 pts)
.Item $Topic(5 pts)
.Item Notes
.Row Previous
.Item 2
.Item Chapter 1+$math
.Item $Ex1
.Item Methods
.Row Today
.Item 3
.Item Preface+$Web1
.Item $URL
.Item History
.Item Exam on $math(50 pts)
.Row Next
.Item 4
.Item Chapter 2+Chapter 6 section 6.1
.Item $Ex
.Item Automata
.Close.Table
(Web1): Search the WWW for pages on the theory of computability,
Alan Turing,
Turing Machines, tractability, Stephen Cook, Michael Rabin, etc. Submit one $URL.

(URL): Submit one Universal Resorce Locator for a relevant page on a piece
of paper. Use the submit button at the top of the web page.  To earn 
complete credit you need to do this at least 90 minutes before the start of
class.

(math): Chapter 1 + the `big-O` notation + some graph theory.

. Question about the Preface: In 1979, what educational level mainly dealt with the study of automata and language theory? 

. Anecdote: 35 years of Theory

. What are some of the other more recent uses of automata and language theory, besides model-checking algorithms? 

. How could the implementation of a non-deterministic turing machine change current computer architecture, if at all?

. Automata Theory
From: Jedidah Mwangi.
I chose this 
.See http://en.wikipedia.org/wiki/Automata_theory
article because it explain automata theory  in broad ways.

. The Theory of Computation:
From: Juno Fernandez
.See http://en.wikipedia.org/wiki/Theory_of_computation


. Computational Complexity Theory
From: Jason Hunt
.See http://en.wikipedia.org/wiki/Computational_complexity_theory


. Time Magazine article on Alan Turing
From: James Kim
.See http://www.time.com/time/time100/scientist/profile/turing.html

This is a great site that documents Time Magazine's most important people of the century.  It gives a brief but infomative excerpt on Alan Turing and his contributions.

. Alan Turing's Unorganized Machines
From: Scott McAllister
.See http://en.wikipedia.org/wiki/Alan_Turing%27s_Unorganized_Machines

. Alan Turing Internet Scrapbook
From: Stephen Collins
.See http://www.turing.org.uk/turing/scrapbook/index.html

Also Powerpoint Presentation on my server at
.See http://ihsproductions.net/cs646/

. Turing Machines
From: Antonio Perez
.See http://www-csli.stanford.edu/hp/Turing1.html

. URL on Turing Machine
From: Jacob Pitassi
I looked up a URL on Turing Machines.  Here is the URL that I came up with.  I thought it was very interesting because it explians what it is and how it works and then gives some hyperlinks to Turing Machine simulators.

.See http://mapageweb.umontreal.ca/cousined/lego/5-Machines/Turing/Turing.html

. Michael Rabin/Rabin Cryptosystem
From: Raini Armstrong

A brief biography for Michael O. Rabin:
.See http://www.reference.com/browse/wiki/Michael_O._Rabin


And within the page, an additional link to Rabin Cryptosystems can be found:
.See http://www.reference.com/browse/wiki/Rabin_cryptosystem
(Submitted by Raini and Moe Alsagri).

. Theory of Computability
From: Peter Villalon
.See http://www.math.uri.edu/~kulenm/mth381pr/comput/computab.html
. Computational Complexity Theory
From: Brian Strader
.See http://en.wikipedia.org/wiki/Quantum_computer#Quantum_computing_in_computational_complexity_theory

The URL above is a subsection of an article on quantum computers and how they affect computational complexity theory.

. Zero-knowledge proof
From: Minhchau Dang
.See http://en.wikipedia.org/wiki/Zero_knowledge_proof




.Close Class 03 -- History

. Next
.See ./04.html