Jan 30, 2026  
2010-2011 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  About the Catalog
  About the University
  Calendar
  Glossary and Abbreviations
  Undergraduate Admission
  Academic Advising
  Enrollment
  Tuition and Fees
  Degrees & Certificates Offered
  Grades
  All-University Regulations
  Auxiliary Services and Facilities
  Student Financial Assistance
  Services for Students
  Support Services
  Research Facilities and Centers
  International Programs
  K-State Athletics
  K-State Research and Extension
  Outreach
  University Faculty
  Schools/Colleges and Departments
  Courses
  School of Leadership Studies
  Programs
  Archived Catalogs
  Catalog Updates
  Online Catalog Tutorial
  K-State Libraries
  iSIS
  K-State Online
  Webmail
  My Portfolio
HELP
2010-2011 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 570 - Introduction to Formal Language Theory

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

Requisites
Prerequisite: MATH 510.

When Offered
Fall

UGE course
No




Add to Portfolio (opens a new window)