Theory of Computation

Finite automata and regular expressions. Pushdown automata and context-free grammars. Turing machines and Church's thesis. Undecidability. Computational complexity.

Updated: 4-Oct-2017                                                                               email: emarkou@ucg.gr