Here we create a context-free grammar for the language {a^i b^j c^k : i != j}. The purpose of this example is to show how dealing with a "not equal" condition on the numbers of characters can be broken down to (1) the first is strictly less than the second, and (2) the second is strictly less than the first.
Easy Theory Website: https://www.easytheory.org
Discord: / discord
If you like this content, please consider subscribing to my channel: / @easytheory
▶ABOUT ME◀
I am a professor of Computer Science, and am passionate about it. I have taught many courses at several different universities, including several sections of undergraduate and graduate theory-level classes.
The views expressed in this video are not reflective of any of my current or former employers.
Watch video Context-Free Grammar (CFG) Example: {a^i b^j c^k : i != j} online without registration, duration hours minute second in high quality. This video was added by user Easy Theory 30 July 2022, don't forget to share it with your friends and acquaintances, it has been viewed on our site 14,63 once and liked it 18 people.