Class Dates
01/16/2024 to 05/03/2024
Units
3.0
Delivered By
Online Asynchronous
Instructor(s)
Torben Amtoft
(tamtoft@ksu.edu)
Meeting Times
Meets by Appt
Meeting Location
Distance Education

Formal Language Theory

CIS 770 - Class Number: 14787

Description:

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

Permissions:

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

Student Requirements:

  • Internet access

Prerequisites:

  • Math 510

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

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 k-state.edu/costs.