2017-2018 Academic Catalog 
    
    Apr 24, 2024  
HELP
2017-2018 Academic Catalog [ARCHIVED CATALOG]

CSCI 180 - Automata Theory

Studies the abstract models of machines and languages recognized by them and introduces the concept of computability. Begins with a review of sets, functions and relations, then continues with finite automata and regular languages, pushdown automata and context-free grammars, grammar transformations and normal forms, and finally the mathematical model of modern computers: Turing machines and computable functions. Some examples of unsolvable problems, such as the halting problem, will be discussed. Involves a fourth-hour problem-solving session.

Prerequisites: Prerequisites for this course require a grade of C or better. CSCI 121  and MATH 114 .

Anticipated Terms Offered: Offered every year
Catalog Navigation
  Catalog Home
  History of Clark
  Accreditation
  Tuition and Financial Aid
  Admissions Requirements
  Departments and Offices
  Programs of Study
  Courses
  Undergraduate Academics and Special Programs
  Graduate Academics and Information
  Academic Policies
  Student Resources
  Facilities
  The Corporation
  Academic Calendar