Informatica teorica parsing

5

Recuperare una foresta di analisi da un parser Earley?

Recentemente stavo leggendo sul parser Earley e penso che sia uno degli algoritmi più eleganti che abbia mai visto. Tuttavia, l'algoritmo nel suo senso tradizionale è un riconoscitore e non un parser, il che significa che può rilevare se una stringa corrisponde a un particolare CFG ma non produce un …

25 fl.formal-languages parsing

1

Tutte le grammatiche non ambigue possono essere analizzate in tempo lineare?

Quando ho armeggiato con l'analisi LR non canonica, ho escogitato un metodo di analisi (con tabelle di dimensioni infinite, che lo rende in qualche modo poco pratico ) in grado di analizzare esattamente le grammatiche non ambigue nel tempo , e mi chiedevo se fosse possibile fare meglio :O(n2)O(n2)O(n^2) Tutte …

22 reference-request fl.formal-languages time-complexity parsing context-free

3

Analisi CFG usando lo spazio

Esistono numerosi algoritmi in grado di analizzare una grammatica senza contesto in tempo . Usando la moltiplicazione della matrice, si può anche andare asintoticamente più velocemente di così.O ( n3)O(n3)O(n^3) Tuttavia, tutti gli algoritmi per l'analisi di CFG arbitrari che conosco hanno un utilizzo dello spazio nel peggiore dei casi …

18 ds.algorithms fl.formal-languages space-bounded parsing context-free

3

Generalizzazioni del metodo di Brzozowski di derivati delle espressioni regolari alle grammatiche?

Il metodo dei derivati di Brzozowski è una tecnica molto carina per costruire automi deterministici da espressioni regolari in modo piacevolmente algebrico. Ho elaborato alcune generalizzazioni carine di questa tecnica per gestire alcune classi più grandi di grammatiche, ma gli algoritmi sono abbastanza semplici da sembrare abbastanza possibili che siano …

18 reference-request fl.formal-languages parsing

2

Frasi di permutazione con analisi LR

Una frase di permutazione è un'estensione delle definizioni grammaticali standard di contesto (E) BNF: una frase di permutazione contiene n produzioni (o equivalentemente, non terminali) da A 1 a A{ A1, ... , An}{UN1,...,UNn}\{ A_1, \dots, A_n \}nnnUN1UN1A_1 . Nella posizione della frase di permutazione, vorremmo vedere ognuna di queste …

16 ds.algorithms fl.formal-languages parsing context-free

2

Algoritmo efficiente per l'aggiornamento di un albero di analisi

Diciamo che ho un grosso blocco di codice che ho già analizzato e analizzato. Supponiamo che cambi solo un personaggio; Vorrei aggiornare il mio analisi, ma poiché la modifica è molto piccola rispetto all'intera cosa, vorrei sapere se è possibile non analizzare nuovamente l'intera cosa, ma se ci sono algoritmi …

14 fl.formal-languages parsing

2

Teoria delle categorie e parser - riferimenti ricercati

Dato che sono interessato ai parser (principalmente alle grammatiche delle espressioni dei parser), mi chiedo se ci sia del lavoro che offra un trattamento categorico dell'analisi. Ogni riferimento alle applicazioni della teoria delle categorie per l'analisi è molto apprezzato. Migliore,

13 reference-request functional-programming ct.category-theory parsing

1

Relazione tra analisi a riduzione del turno e continuazioni delimitate?

Qualcuno ha formalizzato la relazione tra tecniche di analisi a riduzione del turno e continuazioni delimitate? Quando si costruisce un parser bottom-up (ad esempio, parser LR), prendiamo una grammatica e quindi rappresentiamo gli stati di analisi come insiemi di elementi : produzioni aumentate del modulo , dove α e β …

13 pl.programming-languages parsing

1

Perché Tomita ha creato GLR e non ha usato Earley?

Quando guardo Earley che analizza, sembra molto elegante e mi chiedo perché le tecniche GLR diventino popolari? Qualcuno sa cosa c'era che non andava in Earley che analizzava il fatto che Tomita avesse creato GLR? Prestazione? Qualsiasi pubblicazione su queste discussioni è molto apprezzata.

11 parsing

4

Buoni libri sulla teoria dei parser?

Uno dei miei progetti Java è un fork di parboiled e, a differenza, diciamo, Antlr o JavaCC, i parser vengono generati in fase di esecuzione. Le grammatiche generate sono Grammatiche di espressione di analisi o PEG (ho sentito che un altro termine per loro è "packrat"). Mentre la generazione di …

9 research-practice books parsing

2

Metodo di forma normale Chomsky: implicazioni sulle prestazioni del parser CYK?

I parser di grafici possono essere implementati in base alla forma normale di Chomsky o direttamente in base alle regole di produzione. Supponiamo per il momento che abbiamo un parser grafico CYK che utilizza la forma normale di Chomsky. La binarizzazione non è definita in modo univoco. Questo influisce sulle …

9 fl.formal-languages parsing

Domande taggate «parsing»