Jan 30, 2026  
2026-2027 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  About K-State
  University Leadership
  Kansas Board of Regents
  University Department Heads & Administrators
  Campuses
  Statements and Disclosures
  Governance and Faculty
  Academic Calendars
  All-University Regulations
  Academic Policies and Procedures
  Graduate School Handbook
  College of Veterinary Medicine: Student/Faculty Handbook
  Tuition and Fees
  Student Financial Assistance
  Glossary and Abbreviations
  Course Description Key
  Courses
  Colleges & Departments
  Accelerated Degree Programs
  Degrees & Certificates Offered
  Online Programs
  Accreditation and Licensure
  Archived K-State Catalogs
  K-State Research and Extension
  Research Facilities and Centers
  International Programs
  Services for Students
  Support Services
  Graduate School Admissions
  KSIS
  Auxiliary Services and Facilities
  K-State Athletics
  K-State Libraries
  WebMail
  My Portfolio
HELP
2026-2027 Graduate 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.

Note
Not available for credit to students with credit in CIS 770.

Repeat for Credit
N

Requisites
Prerequisite: 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.

Typically Offered
Fall


Add to Portfolio (opens a new window)