 |
|
CIS503 Theory Of Computation Course Abstract Computation models and formal languages. Correspondence of machine hierarchy with language hierarchy. Precise definition of the concept of an algorithm. Undecidability results.
Prerequisites CIS321 Computer Languages C++ CIS350 Data Structures & Advanced Programming
|