Consider the following problem:Is $L_1 * L_2$ is of $LType$?where we know that both  $L_1$ and $L_2$ are of type $LType$ and $LType$ is  closed under $*$ operation.Above, by $LType$, I mean any type of language that is known to belong to any type of Chomsky hierarchy. So it may be regular (Chomsky Type 3), CFL or DCFL (Chomsky Type 2) etc.Also by operation $*$, I mean any binary operation that results in another language, say intersection $\cap$, union $\cup$, difference $-$ etc.Given all these pre-information of the type of languages and their closure under the specified operation, is the above problem decidable?For exampleDoes the problem:Given that $R_1$ and $R_2$ are regular, is $R_1 \cap R_2$ too a regular language? is decidable, especially when we know that regular languages are closed under intersection? Also can we comment in the same manner about undecidability of operation when  we know that the type of operand languages is not closed under that operation? That is Does the problemIs $L_1*L_2$ is of $LType$?is undecidable?, especially when we know that $LType$ is not closed under the operation $*$ and that $L_1$ and $L_2$ are of type $LType$?For exampleDoes the problemIs $CFL_1\cap CFL_2$ is CFL?is undecidable?, especially when we know that CFLs are not closed under intersection.I feel both of above facts are correct/obvious/intuitive. But I am confused because no book on the theory of automata states it clearly.
How the closure properties of the formal languages dictate decidability of their problem
formal languages;automata;undecidability;decision problem;chomsky hierarchy
If a family $\mathcal F$ of languages is closed under some operation, say intersection, then you are right that it is decidable whether the intersection of any two particular languages from $\mathcal F$ also belongs to $\mathcal F$. The answer is always Yes.The converse, however, isn't true. Consider the family $\mathcal F_m$ of all regular languages which are accepted by some DFA having at most $m$ states, for some parameter $m$. When $m > 1$, this language family isn't closed under intersection, but given any two languages from $\mathcal F_m$ (in any reasonable encoding), it is decidable (depending on the encoding, efficiently) whether their intersection belongs to $\mathcal F_m$.