I think you may be right, Fadel. Alternatively, you could use the following rules:
D => &(A c* !.) a* B !. A => aAb / "" B => bBc / "" Which also gives you the language a^n b^n c^n.
_______________________________________________ PEG mailing list PEG@lists.csail.mit.edu https://lists.csail.mit.edu/mailman/listinfo/peg