CIS 430 - Theory of Computation and Programming Languages

Lecture Hours: 3
Lab Hours: 0
Credit Hours: 3

This course introduces the fundamental theoretical models of computation and programming languages. The course presents both inherent capabilities and limitations of these computational models as well as their relationships with the design and implementation of modern programming languages. Topics to be covered include Finite automata and regular languages, deterministic and nondeterministic computations, and context-free grammars and languages. Additionally, the course will guide students through a comparative survey of different programming language paradigms. Including an examination of the properties, applications, syntax, and semantics of selected object-oriented, functional, and declarative programming languages. Prerequisite(s): CIS 213 with a grade of C or better.