CIS 570

Introduction to Formal Language Theory

Kansas State University · UGRD · Fall 2026

1 section
Add to a schedule

Catalog description

Formal languages, automata, regular expressions, grammars, introduction to computability theory. Reading and writing informal mathematical proofs pertaining to these topics.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 6 hours ago

001

Availability not recently verified
Class #kansas_2-1760Fall 2026UGRD- credits
Days & times
No scheduled meeting time
Meeting dates
Location
Instructor
Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?