CSC 501: Theory of Programming Languages

Offered Under: M.Sc. in Computer Science (CSC)

The definition of a language: syntax and semantics. Grammars: finite automata and regular languages; context-free languages; pushdown automata; context-sensitive languages. Semantics: lambda calculus; the Church Roser theorem; polymorphism, b normalization theorem.

Course Type Major
Credit Hour 3
Lecture Hour 45
Expected Outcome(s):

Suggested Books:

Grading Policy: