Example for a non-rec.enum. language whose complement isn't rec.enum., too.



Hello,

I am searching for an example of a non-recursively enumerable language
whose complement isn't rekursive enumerable, too.

An example for a non-recursively enumerable language whose complement -
is<- recursively enumerable should be the diagonal language, right?

Thanks,
S.
.