نظرية الحوسبة

This course is about the grammatical structure of programming language, different
levels of machines (or automata), and different levels of languages (regular
language, associated to finite-state automata; context-free language associated with
push-down automata; and Turing machines).