COMP218

Decision, Computation and Language

Aims

  1. To introduce formal concepts of automata, grammars and languages.
  2. To introduce ideas of computability and decidability.
  3. To illustrate the importance of automata, formal language theory and general models of computation in Computer Science and Artificial Intelligence.

Full module details

  Or log in for internal information