Class Dates
01/16/2024 to 05/03/2024
Delivered By
Online Asynchronous
Torben Amtoft
Meeting Times
Meets by Appt
Meeting Location
Distance Education

Formal Language Theory

CIS 770 - Class Number: 14787


Regular languages, finite automata, context-free languages, pushdown automata, context-free grammars, recursively enumerable languages, Turing machines, reductions, Rice's theorem.

  • Students must be in the BCS program or a computer science graduate student (MCS or DCS). Graduate students outside of computer science will need to contact the teaching professor for permission


  • Instructor Torben Amtoft's permission is required after 01/23/2024.

Student Requirements:

  • Internet access


  • Math 510

Enrollment Dates
10/23/2023 to 01/16/2024
Enrollment Limit

Credit/Tuition Options

Credit Option Hours

Enrollments received on or after the first day of class may be assessed a $65 special handling fee.

Courses in Kansas State University’s new tuition and fees structure charge by program type — campus-based or online — versus by individual course delivery format. Tuition and fees rates are available at