ContainsWordExIn

{S,A,B,C}
{a,b,c}
{S->SS,S->aSBC,S->aBC,CB->BC,aB->ab,bB->bb,bC->bc,cC->cc}
S
abc,aabc,abcabc,aabbcc,aabccc
{S,A,B}
{a,b}
{S->aA,S->bB,S->aB,S->bS,B->a,A->bB,B->b}
S
a,abb,abx,bbbbbbbaba