Proof that Turing machines are recursively enumerable.
How do the Union and Intersection work with recursivelu enumerable languages?
Is the difference between two recursively enumerable languages always recursively enumerable?
Is the product of two recursively enumerable languages always recursively enumerable?
Is the Kleene Star of a recursively enumerable language always recursively enumerable?
When is a language recursive?
Name the 6 properties of recursive languages?