Dec 07, 2025  
2012-2013 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Colleges and Departments
  Courses
  Degrees & Certificates Offered
  About the Catalog
  About the University
  All-University Regulations
  Auxiliary Services and Facilities
  Calendar
  Degrees & Certificates Offered
  Disclosures
  Enrollment
  Glossary and Abbreviations
  Grades
  Graduate School Admission
  International Programs
  K-State Athletics
  K-State Research and Extension
  Outreach
  Research Facilities and Centers
  Services for Students
  Student Financial Assistance
  Support Services
  Tuition and Fees
  University Faculty
  iSIS
  K-State Libraries
  K-State Online
  WebMail
  My Portfolio
HELP
2012-2013 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 570 - Introduction to Formal Language Theory

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

Credits: (3)

Requisites:
Pr.: MATH 510. Students may enroll in CIS courses only if they have earned a grade of C or better for each prerequisite to those courses.

When Offered:
Fall


Add to Portfolio (opens a new window)