CFG

I have already solved the grammar for a^ib^jc^k|i+j=k, as:
S -> Epsilon|aSc|B
B->bBc|Epsilon

That will generate a language such as abcc.

However, I am trying to find a grammar for a^ib^jc^k|j>=i+k-3.

S -> Abbb|bbbC|Epsilon
A ->ab|Epsilon
C ->cb|Epsilon

will make it so that j=i+k-3, but I can't figure out how to combine
abc and still keep the order.

Thanks in advance.

.

Relevant Pages

  • Re: Related languages (Re: A China-Sumer connection)
    ... >> language in everyday use that heh, ... > distinction between pidgin and creole must be based on grammar. ... "I'd gone out to the store" is proper English to say what I did ... They can learn to say words, but not communicate. ...
    (sci.anthropology)
  • Re: Related languages (Re: A China-Sumer connection)
    ... >> between pidgin and creole must be based on grammar. ... > grammar based on a language from group A and they would place the ... > being based on the grammar of the languagethey already speak, ... > how the different varieties of English come about: ...
    (sci.anthropology)
  • Re: Related languages (Re: A China-Sumer connection)
    ... >> language in everyday use that heh, ... > distinction between pidgin and creole must be based on grammar. ... "I'd gone out to the store" is proper English to say what I did ... They can learn to say words, but not communicate. ...
    (sci.lang)
  • Re: Related languages (Re: A China-Sumer connection)
    ... >> between pidgin and creole must be based on grammar. ... > grammar based on a language from group A and they would place the ... > being based on the grammar of the languagethey already speak, ... > how the different varieties of English come about: ...
    (sci.lang)
  • Re: Related languages (Re: A China-Sumer connection)
    ... >> language in everyday use that heh, ... > distinction between pidgin and creole must be based on grammar. ... "I'd gone out to the store" is proper English to say what I did ... They can learn to say words, but not communicate. ...
    (sci.archaeology)