Course Schedule - Fall Semester 2023

     

COMP 481 001 (CRN: 14253)

AUTOMATA/FORMAL LANG/COMPUTING

Long Title: AUTOMATA, FORMAL LANGUAGES, AND COMPUTABILITY
Department: Computer Science
Instructor: Goldman, Ron
Meeting: 9:25AM - 10:40AM TR SEW 305 (21-AUG-2023 - 1-DEC-2023) 
Session: 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:
Course Materials: Rice Campus Store
 
Restrictions:
Must be enrolled in one of the following Level(s):
Undergraduate Professional
Visiting Undergraduate
Undergraduate
Section Max Enrollment: 50
Section Enrolled: 4
Total Cross-list Max Enrollment: 100
Total Cross-list Enrolled: 7
Enrollment data as of: 26-FEB-2024 1:07AM
 
Additional Fees: None
 
Final Exam: Take-Home Exam
Final Exam Time:
12-DEC-2023  
9:00AM - 12:00PM T TBA TBA
 
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.