everything.study
CSI 3104

Introduction to Formal Languages

3 units

Winter 2020

Topics

  • Recursive language definitions
  • Regular expressions and finite automata
  • Kleene theorem
  • Nondeterministic automata
  • Regular and nonregular languages
  • Decidability
  • Context-free grammars and normal forms
  • Pushdown automata and parsing
  • Turing machines
  • Recursively enumerable languages and halting problem

Readings

  • Introduction to Computer Theory
    Daniel Cohen · 2nd (1997) · Course textbook; requirement not explicitly specified
  • Reading schedule: Cohen chapters 1–19 and 23.
Sources