next up previous contents
Next: If a language and Up: Decidability Theorems Previous: The union of two

Theorem 3



 

root
6/10/1998