Scienza del computer formal-grammars

2

C'è un modo per distinguere tra la grammatica LL (k) e LR (k)?

Di recente sto studiando la progettazione di compilatori. Sono venuto a conoscenza di due tipi di grammatica uno è la grammatica LL e l'altro è la grammatica LR. Sappiamo anche che ogni grammatica LL è LR, ovvero la grammatica LL è un sottoinsieme proprio della grammatica LR. Il primo viene …

12 formal-grammars compilers parsers lr-k ll-k

3

Come è questa grammatica LL (1)?

Questa è una domanda dal Libro del Drago. Questa è la grammatica: S→ A a A b ∣ B b B aS→AaAb∣BbBaS \to AaAb \mid BbBa A → εA→εA \to \varepsilon B → εB→εB \to \varepsilon La domanda chiede come mostrare che è LL (1) ma non SLR (1). Per …

12 formal-grammars compilers parsers

2

Trovare la lingua generata da una grammatica senza contesto

Questa è una domanda dal libro del Drago (chiedo scusa per errori di traduzione, non ho la versione inglese a portata di mano): Quale lingua viene generata da questa grammatica? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Non so cosa dovrei fare qui. La …

11 formal-languages context-free formal-grammars

2

Come posso dimostrare che questa lingua non è senza contesto?

Ho la seguente lingua {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Sto cercando di determinare in quale classe di lingua Chomsky si adatta. Posso vedere come potrebbe essere realizzato usando una grammatica sensibile al contesto, quindi so che è almeno sensibile al contesto. Sembra che …

11 formal-languages context-free formal-grammars pumping-lemma

1

Inferenza dei tipi di perfezionamento

Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

3

Parser ricorsivo di discesa con backtracking per la grammatica

Qualcuno può illuminarmi perché un parser di discesa ricorsivo con backtracking che prova le produzioni e (in quell'ordine) non riconosce la lingua formata dalla grammatica .S → a a S → a S a | a aS→aSun'S→un'Sun'S \rightarrow aSaS→ a aS→aun'S \rightarrow aaS→aSa | a a S→un'Sun' | un'un'S \rightarrow …

10 context-free formal-grammars compilers parsers

3

Lingue accettabili e grammatiche illimitate?

Le macchine di Turing e le grammatiche senza restrizioni sono due diversi formalismi che definiscono i linguaggi di RE. Alcuni linguaggi RE sono decidibili, ma non tutti lo sono. Possiamo definire le lingue decidibili con le macchine di Turing affermando che una lingua è decidibile se esiste una TM per …

10 computability turing-machines formal-grammars

1

Analisi di turni-risoluzione - domande

Di recente mi sono imbattuto in un documento che descrive la tecnica di analisi menzionata nel titolo. Sfortunatamente, la terminologia usata in questo documento va oltre la mia comprensione, quindi ho cercato di afferrare l'algoritmo di costruzione in modo più intuitivo. Credo di esserci riuscito ( questa presentazione è stata …

10 algorithms formal-grammars context-free parsing

1

Data una stringa e un CFG, quali caratteri possono seguire la stringa (nelle forme sentenziali del CFG)?

Let l'insieme di terminale e l'insieme di simboli non terminali di alcuni grammatica libera dal contesto .N GΣΣ\SigmaNNNsolGG Supponiamo che io abbia una stringa tale che dove e sono le forme proposizionali di . x a y ∈ S ( G ) x , y ∈ ( Σ ∪ N …

10 algorithms context-free formal-grammars compilers

5

Esiste un metodo noto per costruire una grammatica dato un insieme finito di stringhe finite?

Dalla mia lettura sembra che la maggior parte delle grammatiche si occupi di generare un numero infinito di stringhe. E se hai lavorato al contrario? Se date n stringhe di lunghezza m, dovrebbe essere possibile creare una grammatica che genererà quelle stringhe e solo quelle stringhe. Esiste un metodo noto …

10 formal-languages regular-languages formal-grammars finite-sets

2

Esiste una diversa risoluzione del problema "penzoloni" diverso da "match più vicino"?

I seguenti regali di grammatica context-free un "penzoloni altro" tipo di ambiguità (immaginate che aaa acronimo di if expr thene bbb sta per elsee ccc sta per qualche altro tipo di istruzione o blocco): S→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ \end{aligned} Ad esempio,aacbcaacbcaacbcpuò essere analizzato come(a(acbc))(a(acbc))(a(acbc))o come(a(ac)bc)(a(ac)bc)(a(ac)bc)(questa …

9 context-free formal-grammars parsers ambiguity

1

Quanto sono potenti i CFG che consentono un numero infinito di regole?

Di recente mi chiedevo cosa sarebbe successo se avessimo permesso alle grammatiche senza contesto di avere un numero infinito di regole. Chiaramente, se permettessimo arbitrari insiemi di regole così infiniti, ogni lingua sopra un certo alfabeto potrebbe essere descritta da un CFG con . E se limitassimo a tali insiemi …

9 formal-languages context-free formal-grammars

3

Grammatica sensibile al contesto per il linguaggio delle parole concatenate con se stesse

Sto cercando una grammatica sensibile al contesto che descriva la seguente lingua: .L = { w w ∣ w ∈ { a , b }*, | w | ≥ 1 }L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Ho dei problemi con il fatto che non sono …

9 formal-languages formal-grammars context-sensitive

1

Converti CFG in PDA

Esiste un insieme di regole o metodi per convertire qualsiasi grammatica libera dal contesto in automi push down? Ho già trovato delle diapositive online ma non sono riuscito a capirle. Nella diapositiva 10 parla di alcune regole che qualcuno potrebbe spiegare?

9 context-free formal-grammars pushdown-automata simulation

1

Trasformazione grammaticale delle espressioni aritmetiche

Nell'articolo Parsing Expressions di Recursive Descent di Theodore Norvell (1999) l'autore inizia con la seguente grammatica per le espressioni aritmetiche: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v …

9 formal-languages context-free formal-grammars left-recursion

Domande taggate «formal-grammars»