0 votes 0 votes L = { a^i b^j c^k | (i<=j) or (j <=i) , j=k} is it CFL? A_i_$_h asked Sep 19, 2017 A_i_$_h 295 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
Best answer 2 votes 2 votes Yes it is DCFL. i<=j or i>=j means i and j are independent. so in that way language becomes a*bjcj which is clearly DCFL. Rupendra Choudhary answered Sep 19, 2017 • selected Sep 19, 2017 by A_i_$_h Rupendra Choudhary comment Share Follow See all 4 Comments See all 4 4 Comments reply sourav. commented Sep 19, 2017 reply Follow Share it should be accepted by Non-deterministicPDA's 0 votes 0 votes Rupendra Choudhary commented Sep 19, 2017 reply Follow Share It's DCFL. DPDA can accept too. 1 votes 1 votes sourav. commented Sep 19, 2017 reply Follow Share 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? 0 votes 0 votes Rupendra Choudhary commented Sep 19, 2017 reply Follow Share Yes. 0 votes 0 votes Please log in or register to add a comment.