University Catalog 2014-2015

University of Colorado Boulder

CSCI-5714 (3) Formal Languages

Explores context-free languages: pumping lemma and variants, closure properties, and decision properties. Involves parsing algorithms, including general and special languages, e.g., LR. Additional topics chosen by instructor. Recommended prereq., CSCI 5444 or instructor consent required. Prerequisites: Restricted to graduate students or Computer Science Concurrent Degree (CSEN) majors only.