CFL language

Question

L = { a^i b^j c^k  |  (i<=j) or (j <=i) , j=k}

is it CFL?

Answer 1

Yes it is DCFL.

i<=j or i>=j means i and j are independent.

so in that way language becomes a^*b^jc^j  which is clearly DCFL.

Comments

it should be accepted by Non-deterministicPDA's

---

It's DCFL. DPDA can accept too.

---

yes you are correct , i thought the condition is to check (j <=i) or  j=k.

But in the question simply boils down to  j=k.

Had the question been L = { a^i b^j c^k  |   (j <=i) or( j=k)},

it would be Non deterministic then .Right?

---

Yes.