Advanced Theory in Computation