Course Schedule and Catalog
Course Schedule - Spring Semester 2016
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
COMP 481 001 (CRN: 24144)
AUTOMATA/FORMAL LANG/COMPUTING
Long Title: AUTOMATA, FORMAL LANGUAGES, AND COMPUTABILITY
Department: Computer Science
Instructor: Burke, Mike
Meeting: 1:00PM - 2:15PM TR (11-JAN-2016 - 22-APR-2016)
Part of Term: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Language of Instruction: Taught in English
Method of Instruction: Face to Face
Credit Hours: 3
Course Syllabus:
Restrictions:
May not be enrolled in one of the following Level(s):
Graduate
Section Max Enrollment: 25
Section Enrolled: 8
Total Cross-list Max Enrollment: 42
Total Cross-list Enrolled: 21
Enrollment data as of: 18-APR-2024 1:00PM
Final Exam: Scheduled Final Exam-OTR Room
Final Exam Time:
2-MAY-2016
9:00AM - 12:00PM M
Description: Finite automata, regular expressions, regular languages, pushdown automata, context-free languages, Turing machines, recursive languages, computability, and solvability. It is strongly recommended that students complete three semesters of Mathematics before enrolling in this course. Cross-list: COMP 581. Mutually Exclusive: Cannot register for COMP 481 if student has credit for COMP 581.