Theory of Computation for GATE