Course Info

CSC 444: Automata Theory and Formal Grammars

An introduction to the most important abstract models of computation and their applications: finite state machines and pushdown automata. Explores the relationship between regular expressions and formal expressions and automata.

CSC 400 and CSC 403 are prerequisites for this class.

Winter 2025-2026

  • Section: 501
  • Class number: 23190
  • Meeting time: TuTh 1:30PM - 3:00PM
  • Location: CDM 00206 at Loop Campus
  • Instructor:
  • Section: 510
  • Class number: 23192
  • Meeting time: -
  • Location: Online: Async
  • Instructor:

Winter 2024-2025

Winter 2023-2024

Spring 2022-2023


Section 640

Class number 40561



Spring 2021-2022


Section 640

Class number 43504