Linguaggi di programmazione: esercizio 11 grammatica

Dato il linguaggio

L = {0ⁿ 1^k | n > 0, k > 0, k > n}

definire la grammatica.

G = (X,V,S,P)

X = (0,1)

V = (S,A,B)

P = {

S => A1B

A => 0 | 01 | 01A

B => 1 | 1B

}

Grammatica libera da contesto (Tipo 2)