Scienza del computer formal-grammars

2

Se ho una grammatica di tipo 3, può essere rappresentata su un automa pushdown (senza fare alcuna operazione in pila) in modo da poter rappresentare espressioni regolari usando linguaggi senza contesto. Ma posso sapere se una grammatica di tipo 3 è , , , ecc. Senza costruire tabelle di analisi?LR …

16 formal-languages regular-languages formal-grammars parsers regular-expressions

1

Intersezione di contesto libero con lingue regolari

Si dice che l'intersezione di una lingua senza contesto L con una lingua normale M è sempre libera dal contesto. Ho capito la prova della costruzione del prodotto incrociato, ma non riesco ancora a capire perché sia privo di contesto ma non regolare. Il linguaggio generato da tale intersezione ha …

16 regular-languages context-free finite-automata formal-grammars

2

Decidibili lingue non sensibili al contesto

È discutibile che la maggior parte delle lingue create per descrivere i problemi quotidiani sono sensibili al contesto. D'altra parte, è possibile e non è difficile trovare alcune lingue che non sono ricorsive o addirittura non ricorsivamente enumerabili. Tra questi due tipi sono i linguaggi ricorsivi non sensibili al contesto. …

15 formal-languages complexity-theory formal-grammars

2

Che cos'è un parser IELR (1)?

Cerco di insegnarmi come usare il bisonte. La manpage bison (1) dice del bisonte: Genera un parser LR deterministico o LR generalizzato (GLR) utilizzando le tabelle di parser LALR (1), IELR (1) o LR canonico (1). Che cos'è un parser IELR? Tutti gli articoli pertinenti che ho trovato sul World …

14 formal-languages terminology formal-grammars parsers

1

Quando

Secondo l'articolo di Wikipedia , la L in significa "scansione da sinistra a destra", e la "R" significa "derivazione più a destra". Tuttavia, nel documento originale di Knuth sulle grammatiche di L R ( k ) , definisce L R ( k ) (a pagina 610) come una lingua che …

14 formal-languages reference-request terminology formal-grammars parsers

2

Gli insiemi Prima e Dopo per le grammatiche senza contesto sono sempre senza contesto?

Lascia che GGG sia una grammatica senza contesto. Una stringa di terminali e non terminali di GGG è detto essere una forma sentential di GGG se lo si può ottenere applicando produzioni di GGG zero o più volte al simbolo iniziale di SSS . Let SF(G)SF⁡(G)\operatorname{SF}(G) l'insieme di forme proposizionali …

14 formal-languages context-free formal-grammars closure-properties

2

È il complemento di {ww | ...} senza contesto?

Definisci la lingua LLL come . In altre parole, contiene le parole che non possono essere espresse come una parola ripetuta due volte. è senza contesto o no?L={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLLL Ho provato a intersecare con , ma non riesco ancora a provare nulla. …

14 formal-languages context-free formal-grammars

3

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('')+ …

13 formal-languages context-free formal-grammars parsers

2

In che modo la parola "produzione" è diventata sinonimo della parola "regola" nel contesto dell'informatica?

Sto studiando linguaggi formali e sistemi di basi di produzione (sistemi di basi di regole) e sono un po 'confuso sul perché queste due parole "produzione" e "regola" significano la stessa cosa in così tanti contesti in Informatica. In lingua inglese non sembrano significare la stessa cosa. Non sono un …

13 formal-languages terminology automata finite-automata formal-grammars

5

In che modo la non ambuiguità è diversa dal determinismo?

Sto cercando di capire cosa si intende per "deterministico" in espressioni come "grammatica libera dal contesto deterministico". (Ci sono "cose" più deterministiche in questo campo). Gradirei un esempio più della spiegazione più elaborata! Se possibile. La mia principale fonte di confusione è dal non essere in grado di dire come …

13 context-free formal-grammars parsers

2

Rimozione della ricorsione sinistra in grammatica mantenendo l'associazione sinistra dell'operatore

Ho un problema con questo esercizio: Sia G la seguente ambigua grammatica per il calcolo λ: E → v | λv.E | EE | (E) dove E è il singolo simbolo non terminale, λv.E rappresenta l'astrazione rispetto alla variabile v in E ed EE rappresenta l'applicazione. Definire una grammatica LL …

13 context-free formal-grammars compilers parsers

1

Differenza tra espressione regolare e grammatica negli automi

Sono nuovo agli automi e mi è stata data una breve introduzione alle espressioni regolari solo ieri. Ho letto le varie regole che definiscono un'espressione regolare. Ma non sono in grado di distinguere tra espressioni regolari e grammatica di una lingua (non mi è stata insegnata la grammatica per le …

12 automata formal-grammars regular-expressions

3

L'importanza di forme normali come la forma normale di Chomsky per i CFG

Comprendo che le grammatiche senza contesto possono essere utilizzate per rappresentare linguaggi senza contesto e potrebbe avere ambiguità. Abbiamo anche forme normali come Chomsky e Greibach forma normale. Non riuscivo a capirne la necessità. Perché sono importanti nella teoria delle lingue? Tutti i libri di testo a cui ho fatto …

12 formal-languages context-free formal-grammars normal-forms

4

Qualcuno può dare un esempio semplice ma non giocattolo di una grammatica sensibile al contesto?

Sto cercando di capire le grammatiche sensibili al contesto. Capisco perché le lingue piacciono { w w ∣ w ∈ A*}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} non sono liberi dal contesto, ma cosa vorrei sapere se una lingua simile al calcolo lambda non tipizzato è sensibile …

12 formal-grammars programming-languages lambda-calculus context-sensitive

2

Tutte le lingue sensibili al contesto sono decidibili?

Stavo attraversando la definizione di Wikipedia di linguaggio sensibile al contesto e ho trovato questo: Ogni categoria di lingue è un sottoinsieme proprio della categoria direttamente sopra di essa. Qualsiasi automa e qualsiasi grammatica in ogni categoria ha un automa o grammatica equivalente nella categoria direttamente sopra di esso. Ho …

12 formal-grammars turing-machines undecidability context-sensitive

Domande taggate «formal-grammars»