COMP 476 - 001

Automata & Formal Languages
Session
Regular Academic Session
Class Number
6445
Career
Graduate
Units
3 units
Grading
Graded
Description
Prerequisites: MATH 201 or MATH 212 or COMP 163.

This course introduces formal language theory, including such topics as finite automata and regular expressions, pushdown automata and context-free grammars, Turing machines, undecidability, and the halting problem.

Outcomes: An understanding of the theoretical underpinnings of computability and complexity in computer science.
Class Actions
Look up course materials
Class Details
Instructor(s)
Satyaki Sikdar
Meets
We 4:15PM - 6:45PM
Dates
08/25/2025 - 12/13/2025
Room
Crown Center - Room 103
Instruction Mode
In person
Campus
Lake Shore Campus
Location
Lake Shore Campus
Components
Lecture Required
Class Availability
Status
Open
Seats Taken
1
Seats Open
29
Combined Section Capacity
30
Wait List Total
0
Wait List Capacity
0
Combined Section
Formal Lang & Automata
COMP 376 - 001 (6444)
Status: Open - Enrl
Seats Taken: 1
Wait List Total: 0
Automata&Formal Languages
COMP 476 - 001 (6445)
Status: Open - Enrl
Seats Taken: 0
Wait List Total: 0
Formal Lang & Automata
MATH 376 - 001 (6464)
Status: Open - Enrl
Seats Taken: 0
Wait List Total: 0
Automata&Formal Languages
MATH 476 - 001 (6465)
Status: Open - Enrl
Seats Taken: 0
Wait List Total: 0