mathworld subject theory of computation