recursive and recursively enumerable languages in toc