CSCI101 PO

Download as PDF

Introduction to Languages and the Theory of Computation

Computer Science UL

Subject code

CSCI

Course Number

101 PO

Department(s)

Computer Science

Description

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 and CSCI 062 PO. Only one of the courses CSCI 101 PO and CSCI 081 HM can be taken for credit.