IB102 - úkol 8, příklad 2
Odevzdání: 12.11. 2012
Vypracoval (a): UČO: Skupina:
1. [2 body] Uvažme bezkontextovou gramatiku Q = ({S}, {a, b}, P, S), kde
P = {S —> aaSb | aab}
Navrhněte bezkontextovou gramatiku Q', která akceptuje všechny prefixy všech slov generovaných gramatikou Q, tj. takovou, že L(Q') = {u G {a,b}* | 3v G {a, b}*, kde uv G L(Q)}.