Mostrare una grammatica è ambiguo

3

Ho preso la seguente domanda da un esame del corso compilatori:

Show that the following grammar is ambiguous.

S = XcY
X = a
Y = b | Z
Z = bW
W = d | ϵ

Ho disegnato il seguente albero:

Ho ragione nel ritenere che sia ambiguo perché acY può finire a acb (uno dei quali è seguito da un epslion) seguendo percorsi diversi?

    
posta TomSelleck 01.01.2013 - 23:14
fonte

1 risposta

6

Sì. Poiché epsilon significa che puoi riscrivere W come stringa vuota, acbW - > ACB. Come hai mostrato, ci sono due derivazioni più a sinistra per la stringa acb, che per definizione indica che la grammatica è ambigua.

    
risposta data 01.01.2013 - 23:25
fonte

Leggi altre domande sui tag