CSC 527 R Theory of Computing
CSC 527 R Theory of Computing
Your Lab Account
Irina will set up your account in the lab automatically.
Please read her web page
to learn how to access you account in the lab and to install ssh
software on your home computer to access it remotely.
Da Rules
Help is an Email Away
Mail to csc527@mail.cs.miami.edu
goes to Victor, his assistants, and all the course accounts. There is
extra credit (and a good feeling) for helping your fellow student, but
please reply to or cc the csc527 account--or you won't get credit.
Also, put ``csc527'' in all your course-related email so we can
separate it from the spam.
For an appointment or a personal matter send email to
vjm@cs.miami.edu.
Textbook
The author's official web site for the textbook.
Course Information
For Thursday, read Chapter 0.
Lecture 1
Can rats compute?
Quantum mechanics makes eavesdropping impossible.
SPAM recognition using Finite Automata
A web page referenced by this article.
Homework 00
Due Thursday, January 26.
Homework 01
Due Thursday, February 2
Homework 02
Due Thursday, February 9
Homework 03
Due Thursday, February 16
Homework 04
Due Thursday, February 23
Notes
on converting a CFG to a PDA and a PDA to a CFG.
Notes
using the Chomsky normal form to test if a CFG generates a particular
string w.
Turing.jar
Run by downloading and double-clicking (Mac or Windows) or
``java -jar Turing.jar'' (Linux). Type ``help'' to get list of
commands.
Turing.java
old source code.
Turing.java
new source code.
Homework 05
Due Thursday, March 23
Homework 06
Due Thursday, March 30
Limits of Reason
Homework 07
Due Thursday, April 6
Homework 08
Due Thursday, April 13
Homework 09
Due Thursday, April 27
REVIEW