Recursive and recursive enumerable languages in theory of computation