Průnik: Není uzavřeno
Důkaz:
Tvrzení: Třída bezkontextových jazyků není uzavřená vůči průniku.
• Průnik nějakých dvou BKJ nesmí být tedy BKJ:
• L1 = {ambncn: m, n ³ 1} je BKJ
• L2 = {anbncm: m, n ³ 1} je BKJ
• L1 Ç L2 = {anbncn : n ³ 1} není BKJ
  (Důkaz je založen na pumping lemma viz. dříve)
CBD
23/31