Cosa otterresti se aggiungi parametri a grammatiche libere dal contesto?

Stavo pensando alle grammatiche per i linguaggi sensibili alle indendenze e sembra che le grammatiche CF farebbero il trucco se combinate con i parametri. Ad esempio, considera questo frammento per la grammatica Python semplificata in formato simile a ANTLR:

// on top-level the statements have empty indent
program  
    : statement('')+
    ;

// let's consider only one compound statement and one simple statement for now
statement(indent) 
    : ifStatement(indent)
    | passStatement(indent)
    ;

passStatement(indent)
    : indent 'pass' NEWLINE
    ;

// statements under if must have current indent plus 4 spaces
ifStatement(indent)
    : indent 'if' expression ':' NEWLINE (statement(indent '    ')+)
    ;

La mia domanda: questo tipo di grammatiche (CFG con parametri) ha un nome?

Sembra che non sarebbe difficile scrivere un parser di discesa ricorsivo per questa grammatica (i parametri dovrebbero essere fondamentalmente parser). Quali potrebbero essere le difficoltà con questo approccio?

L'aggiunta di parametri aumenta la classe di lingue supportata sopra senza contesto?

Le grammatiche di affisso ( grammatiche senza contesto parametrizzate) sono state ampiamente studiate dall'eminente scienziato informatico olandese Cornelis HA Koster , a partire dal suo articolo del 1962 "Inglese di base, una grammatica generativa per una parte dell'inglese", scritto insieme a LGLT Meertens. Nel 1970, ha prodotto un formalismo del concetto; una utile panoramica è disponibile nel suo documento del 1971 "Affix Grammars for Programming Languages", una versione che ho trovato su Citeseer .

In quel documento, Koster confronta il suo formalismo (e un altro simile) con le grammatiche a due livelli di Van Wijngaarden , e le trova molto simili.

La preziosa bibliografia annotata di Dick Grune sulle tecniche di analisi comprende un gran numero di altri riferimenti utili per grammatiche affisse e altri formalismi non chomskyiani. (Vedi la sezione 18.2.6 della bibliografia, sebbene ci siano articoli utili in altre sezioni.) Grune copre brevemente le grammatiche affisse in §15.3.2 della seconda edizione di Parsing Techniques: A Practical Guide (e ancora più brevemente nella prima edizione , disponibile online) menzionando il fatto che è facile adattare le tecniche di analisi top-down (e altre).

$a^n b^n c^n$

Koster, che era anche redattore del rapporto Algol 68, era lo sviluppatore originale del Compiler Description Language (CDL) , basato sulle sue idee sulle grammatiche degli affissi. Questo toolkit e i suoi derivati ​​successivi sono stati utilizzati nella produzione per molti anni. Questa pagina , che ho trovato con una ricerca su Google e la cui permanenza non posso garantire, contiene collegamenti al manuale e al sito di download di CDL3.

Prendi il lemma del pompaggio per i CFG :

Prendi la grammatica

S -> A("")
A(p) -> p 
      | p '\n' A(p"*") '\n' p 

Questo descrive un triangolo stellare:

*
**
***
**
*

$uvwxy$$\{uv^nwx^ny|n>0\}$$vx$

Ciò significa che il triangolo stellare non è un linguaggio privo di contesto.

O un esempio più semplice:

S-> B("")
B(p)-> p 'a' p 'a' p
     | B(p 'b')

$\{b^nab^nab^n | n\ge0 \}$

Non ho mai visto questo formalismo presentato (nemmeno in qualcosa come quello di Grune Parsing Techniques ), a seconda dei dettagli su come definisci esattamente "i parametri dovrebbero essere fondamentalmente parser" sembra mappabile a van Wijngaarden grammatiche a due livelli, che hanno lo stesso potere di grammatica della struttura di fase senza restrizioni (cioè più potente del sensibile al contesto, potresti scrivere una grammatica VW che fornisce tutti i programmi di arresto).