|
Aug 31, 2024
|
|
|
|
COSC 460 - Theory of Computation Class Hours: 3 Lab/Discussion: 0 Credits: 3
Prerequisite: COSC 310 or instructor permission Formal methods for describing and analyzing programming languages and algorithms. Covers Backus-Naur forms, productions, regular expressions, introduction to automata theory, Turing machines, and recent concepts in algorithm theory computability.
Add to Portfolio (opens a new window)
|
|