2 Recursive and recursively enumerable language definition and properties