Theory of Computation & Application