COMP 301
Spring 2007 not offered
|
| Crosslisting:
COMP 500 |
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. |
|
Essential Capabilities:
None |
| Credit: 1 |
Gen Ed Area Dept:
None |
| Course Format: Lecture | Grading Mode: Graded |
| Level: UGRD |
Prerequisites: MATH228 |
|
Fulfills a Requirement for: None |
Examinations and Assignments:
To be announced |
Additional Requirements and/or Comments:
not known |
|