CMPSC 230 --- Computability and Formal Languages --- Fall 2006

Dr. Andrew Thall
Office: 104 Alden Hall
Phone: 332-2877
email: athall AT allegheny DOT edu
www: http://cs.allegheny.edu/~thall
Office Hours:
M-W-F: 10-11 AM
Tu-Thu: 1-2:30 PM

Course Information

Class meeting time:
M-W-F: 9-9:50
Tu: 2:30-3:20 (Problem Session 1)
3:30-4:20 (Problem Session 2)

• Syllabus (PDF)
• Course Schedule, Readings, Due Dates and Announcements
• Online Lecture Notes, Student Q&A
• Homework Assignments and Handouts

Online Resources

• JFLAP homepage. JFLAP is a graphical tool for studying automata (finite-state machines, pushdown-automata, Turing machines) and the languages that they accept.
• The JFLAP tutorial pages may help to clarify some of the basic concepts we will study in this class.
• List of NP-complete problems at Wikipedia
• Discussion of the Halting Problem at Wikipedia