Exercise 37:

Non-ambiguous CFG for {xcyx,y{a,b}x=yxaa>0}\{ xcy \mid x,y\in\{a,b\}^* \wedge |x|=|y| \wedge |x|_{aa}>0 \}
Write a non-ambiguous CFG generating the words of the form xcyxcy, where x,yx,y are words over {a,b}\{a,b\} with the same length and such that there is some ocurrence of aaaa in xx.
Authors: Guillem Godoy / Documentation:
To be able to submit you need to either log in, register, or become a guest.