Ricorsivo grammatica - Recursive grammar

In informatica , una grammatica viene informalmente chiamato grammatica ricorsiva se contiene regole di produzione che sono ricorsiva , il che significa che l'espansione di un non terminale secondo queste regole può portare ad una stringa che include nuovamente lo stesso non terminale. In caso contrario si parla di grammatica non ricorsiva .

Ad esempio, una grammatica per un linguaggio context-free viene lasciata ricorsivo se esiste un simbolo non terminale A che può essere messo attraverso le norme di produzione per produrre una stringa con A (come il simbolo più a sinistra). Tutti i tipi di grammatiche della gerarchia di Chomsky può essere ricorsiva ed è ricorsione che consente la produzione di insiemi infiniti di parole.

Proprietà

Una grammatica non ricorsiva non può che produrre un linguaggio finita; e ogni lingua finita può essere prodotto da una grammatica non ricorsiva. Ad esempio, una grammatica in linea retta produce una sola parola.

Un ricorsiva grammatica libera dal contesto che non contiene norme inutili produce necessariamente un linguaggio infinita. Questa struttura costituisce la base per un algoritmo in grado di verificare in modo efficiente se una grammatica context-free produce un linguaggio finito o infinito.

Riferimenti