Alumni and Friends
Academic Programs
Resources
 
Paul Buis, Chair
Department of
Computer Science
RB 455
Ball State University
Muncie, IN 47306
Phone: (765) 285-8641
Fax: (765) 285-2614
00pebuis@bsu.edu


A department in the college of sciences and humanities-Computer Science
CS 570 - Theory of Computation 1.

Mathematical logic; alphabets and languages; finite automata, regular and nonregular languages, and Kleene's theorem; regular grammars; pushdown automata and context-free grammars; Turing and Post machines; recursive and recursively enumerable languages; the Chomsky Hierarchy. Prerequisite: CS 324 or permission of the instructor. Not open to students who have credit in CS 470.

College: Sciences & Humanities
Hours: 3
Permission: Y
Prerequisite: CS 324
Co-requisite: none