But give a proof that there is no way to unambiguously parse strings in the (non-context-free) subset formula_3 which is the intersection of these two languages.
اما (Hopcroft & Ullman (1979 ثابت کردند که راهی وجود ندارد که بتوان رشته‌های درون زیر مجموعهٔ formula_3 که اشتراک دو زبان است را غیر مبهم تجزیه کرد.