Theory of Computation Recursively Enumerable Sets, Turing Machines and Undecidability Turing Machines
Consider following languages
L1 = {
L2 = {
L3 = {
1
L1 and L2 both are REL.
2
L3 is decidable.
3
L3 is undecidable.
4
L1 is REL and L2 is not REL.
Consider following languages
L1 = {
L2 = {
L3 = {