COMP 376 - 001

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

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.
Enrollment Requirements
Pre-requisite: COMP 163 or MATH 201 or MATH 212 or MATH 266
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