[WesMaps 98/99 Home Page]
[Course Search]
[Course Search by CID]
COMP301
Automata Theory And Formal Languages
COMP301 FA
| Section | Class Size | *Available | Times | POI | Prereq |
|---|
| 1 | 25 | 0 | Times: M.W.... 2:40PM-4:00PM; | No | Yes |
*The number of spaces listed as available is based on class seats open for
the Blue Add phase of registration. Some seats may be taken in previous
phases while others may be held out for subsequent phases of registration.
(Last Updated on Tue Aug 10 05:00:30 EDT 1999
)
This course is an introduction to formalisms studied in
computer science and mathematical models of computing
machines. The language formalisms discussed include
regular, context-free, context-sensitive, and recursively
enumerable languages. The machines discussed include
finite-state, pushdown and linear bounded automata and
Turing machines.
MAJOR READINGS
Dexter Kozen, AUTOMATA AND COMPUTABILITY
EXAMINATIONS AND ASSIGNMENTS
To be announced
ADDITIONAL REQUIREMENTS and/or COMMENTS
COURSE FORMAT: Lecture
REGISTRATION INFORMATION
Level: UG Credit: 1.00
Prerequisites:
COMP212 and MATH228
- Section 01
- Lipton, J
- Times: M.W.... 2:40PM- 4:00PM;
- Grading Mode: A/F
- Registration Preference (1 high to 6 low, 0=Excluded) Sr: 1, Jr: 1, So: 1, Fr: 1
- No Major Preference Given
Last Updated on MAR-22-1999
Contact wesmaps@wesleyan.edu to
submit comments or suggestions.
Copyright Wesleyan University, Middletown, Connecticut, 06459