Theory of Computation
Theory of Computation (ArsDigita University). Instructor: Shai Simonson. A theoretical treatment of what can be computed and how fast it can be done. Applications to compilers, string searching, and control circuit design will be discussed. The hierarchy of finite state machines, pushdown machines, context free grammars and Turing machines will be analyzed, along with their variations. The notions of decidability, complexity theory and a complete discussion of NP-Complete problems round out the course. (from ADUni.org)
References |
Theory of Computation Instructor: Shai Simonson. Course Description. Lecture and Courseware. Student Evaluations. A theoretical treatment of what can be computed and how fast it can be done. |