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