Decision, Computation and Language


To introduce formal concepts of automata, grammars and languages.

To introduce ideas of computability and decidability.

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