Esercizio grammatica linguaggi di programmazione

Esercizio svolto: grammatica

Dato il linguaggio

L = {aⁿ b^m c^k | k = n+m}

definire la grammatica.

G = (X,V,S,P)

X = (a,b,c)

V = (S,A,B,C)

P = {
S -> ϵ | ac | bc | bAc | aBc
A -> bc | bAc
B -> aBc | C
C -> bCc | ϵ
}

Grammatica libera da contesto (tipo 2)