Find a university to explore its courses and reviews.
Covers formal models of computation including finite automata, pushdown automata, Turing machines, decidability, and computational complexity.
No one has reviewed this course yet. Share your experience and help future students know what to expect.
Takes about 2 minutes. Every review is anonymous — no account needed.