this is closure property of recursive languages so its always true and hence decidable.

The Gateway to Computer Science Excellence

0 votes

+2 votes

Best answer

This is a trivial fact as it follows from closure property that intersection of two recursive language is a recursive language for sure..Hence we can say that this property is** decidable..**

In fact

Any closure property if satisfied for a given class of language and given operation, then the problem that the resultant language after applying that particular operation is also in the same class is decidable..

52,215 questions

59,993 answers

201,197 comments

94,663 users