language

Question

what type of language is this?

L={(a^m)(b^n)(c^k) | if(m==n) then n!=k , m,n,k>=1}

Comments

@Rajnish

2 comparisons involved.

One is between m and k. Another is between n and k.

---

It is CFL - 

if(p) then q  == p --> q  == ~p + q  == ~p or q.

Here , if(m==n) then (n!=k)  == ~(m==n) + (n!=k) 

 L={(a^m)(b^n)(c^k) | (m!=n) or (n!=k) , m,n,k>=1}  ==> CFL.

---

^ nice explanataion ....

Answer 1

Context sensitive language

Comments

explain how???

---

i think it should be cfl because one stack  would enough to check condition m==n and n not equal to k  but if m

is not equal to n then no need to check further

L={(a^m)(b^n)(c^k) | if(m==n) then n=k , m,n,k>=1}

plz confirm if n equals to k it would be still cfl or csl