COMP-SCI 493
Introduction To Computability, Formal Languages And Automata
|
|
Regular expressions and finite state machines. Context-free grammars and pushdown automata. Turing machine. Church's Thesis. Primitive recursive functions and computational complexity. Undecidability.
|
Prerequisite(s):
COMP-SCI 291
|
Faculty:
School of Computing & Engineer
|
Department:
Comp Sci & Elect Engr
|