Next:
The complement of a
Up:
Decidability Theorems
Previous:
Decidability Theorems
Theorem 1
The complement of a recursive language is recursive
root
6/10/1998