CSCI101 PO - Introduction to Languages and the Theory of Computation

When Offered: Each semester.
Instructor(s): K. Bruce, Y. Chen, Y. Wu
Credit: 1

This class investigates models of computation such as finite-state automata and Turing machines, formal languages such as context free grammars, and computability. Connections to applications such as lexical analysis and parsing will be explored. Students will learn to read and to construct formal proofs in this context. Prerequisites: CSCI 054 PO; Co-requisites: CSCI 062 PO. Course is equivalent to CSCI 081 HM. Only one of the following courses: CSCI101 PO and CSCI 081 HM, can be taken for credit.

Satisfies the following General Education Requirement(s), subject to conditions explained in the Degree Requirements section of this Catalog:
Area 5