Course Schedule - Spring Semester 2018

     

COMP 481 001 (CRN: 21490)

AUTOMATA/FORMAL LANG/COMPUTING

Long Title: AUTOMATA, FORMAL LANGUAGES, AND COMPUTABILITY
Department: Computer Science
Instructor: Burke, Michael G.
Meeting: 2:30PM - 3:45PM TR KCK 107 (8-JAN-2018 - 20-APR-2018) 
Session: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Method of Instruction: Face to Face
Credit Hours: 3
Course Syllabus:
Course Materials: Rice Campus Store
 
Restrictions:
May not be enrolled in one of the following Level(s):
Graduate
Section Max Enrollment: 42
Section Enrolled: 2
Total Cross-list Max Enrollment: 42
Total Cross-list Enrolled: 5
Enrollment data as of: 8-APR-2020 8:09AM
 
Fees: None
 
Final Exam: Scheduled Final Exam-OTR Room
Final Exam Time:
30-APR-2018  
2:00PM - 5:00PM M KCK 107
 
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. Mutually Exclusive: Cannot register for COMP 481 if student has credit for COMP 581.