everything.study
CSI 3504

Introduction aux langages formels

3 units

Hiver 2017

Topics

  • Recursive definitions
  • Regular expressions
  • Finite automata and transition graphs
  • Kleene theorem and nondeterminism
  • Sequential machines
  • Regular and nonregular languages
  • Decidability
  • Context-free grammars
  • Pushdown automata
  • Parsing
  • Turing machines and recursively enumerable languages

Readings

  • Introduction to Computer Theory
    Daniel Cohen · 2nd · Listed course textbook; requirement not specified
  • Cohen chapters 1–19 and 23, selected sections.
Sources