BGSU Logo
BGSU Home BGSU Academics BGSU Admissions The Arts BGSU Athletics Libraries Offices
Department of Computer Science
Computer Science Home Undergraduate Program Graduate Program Computer Science Faculty Academic Advising Mission and Vision
Small font Medium font Larger font Largest font
Left Bracket CS 410: Formal Language Theory Right Bracket

Course Syllabus

  1. Languages and Their Representation
  2. Types of Languages
    1. Unrestricted Languages
    2. Context-sensitive Languages
    3. Context-free Languages
    4. Regular Languages
  3. Grammars
    1. The Formal Notion of a Grammar
    2. Types of Grammars
    3. Recursiveness
    4. Derivation Trees
  4. Recognition Devices
    1. Turing Machines
    2. Linear Bounded Automata
    3. Pushdown Automata
    4. Finite Automata

Course Requirements

Regular homework assignments will be given throughout the course.

webmaster@cs.bgsu.edu