Intersection of a context-free language with a regular language
= Intersection of a context-free language with a regular language
= Closure of context-free languages under regular intersection
{synonym}
The intersection of a context-free language with a regular language is context-free, because a pushdown automaton and a finite automaton can be run in product.