Is $a^j b^j c^k$ context free?

66 Views Asked by At

is the language $$\{a^j b^j c^k\; : \;(j = 2 \ OR\ j=k+i)\ AND\; i, k \gt 0\}$$ context free? if $j=2$ only I would say yes but when I add the other condition ($j=k+i$) if I use pumping lemma I get stuck. On the case $j=k+i$ I can rewrite the string in the form $a^k a^i b^k b^i c^k=a^k a^i b^i b^k c^k$ then I choose for the pumping lemma the string $s=a^p a^p b^p b^p c^p$ . but for vwx i can choose a substring that contains equal numbers of a and b inside the $a^p b^p$ and if I pump the i of the string $uv^i wx^i y$ I still obtain a string of that language so I think the pumping lemma holds for this language but I still think that in this case is not context free. Do i make mistakes or wrong assumptions? Is the language context free or not? how can I demonstrate it?