Scienza del computer formal-grammars

1

Confronto teorico linguistico delle grammatiche LL e LR

Le persone spesso dicono che i parser LR (k) sono più potenti dei parser LL (k) . Queste dichiarazioni sono vaghe per la maggior parte del tempo; in particolare, dovremmo confrontare le classi per un fisso o l'unione su tutto ? Allora, com'è davvero la situazione? In particolare, sono interessato …

68 formal-languages formal-grammars parsers reference-question

2

Esistono lingue intrinsecamente ambigue e deterministiche senza contesto?

Chiamiamo un linguaggio deterministico senza contesto se e solo se può essere accettato da un automa deterministico di push-down, e non deterministico altrimenti. Chiamiamo un linguaggio senza contesto intrinsecamente ambiguo se e solo se tutte le grammatiche senza contesto che generano il linguaggio sono ambigue e non ambigue in caso …

36 formal-languages automata formal-grammars pushdown-automata

9

Qual è il significato delle lingue sensibili al contesto (Tipo 1)?

Vedendo che nella Gerarchia di Chomsky le lingue di tipo 3 possono essere riconosciute da una macchina a stati senza memoria esterna (cioè un automa finito), il tipo 2 da una macchina a stati con un singolo stack (cioè un automa a spinta) e il tipo 0 da una macchina …

34 formal-languages applied-theory computability automata formal-grammars

2

A cosa si riferisce "contesto" in "grammatica senza contesto"?

Ci sono molte definizioni online su cosa sia una grammatica senza contesto, ma nulla che trovo soddisfi il mio problema principale: Da quale contesto è libero? Per indagare, ho cercato su Google "grammatica sensibile al contesto", ma non sono ancora riuscito a trovare l'argomento "contesto". Qualcuno può spiegare a cosa …

30 terminology context-free formal-grammars

3

Cosa significa veramente senza contesto nel termine grammatica senza contesto?

Ho studiato compilatori per un po 'e ho cercato cosa significa "contesto" in grammatica e cosa significa che la grammatica è "senza contesto", ma senza risultati. Quindi qualcuno può aiutare con questo?

29 terminology context-free formal-grammars

6

Generazione di combinazioni da un insieme di coppie senza ripetizione di elementi

Ho un set di coppie. Ogni coppia ha la forma (x, y) in modo tale che x, y appartengano a numeri interi dell'intervallo [0,n). Quindi, se n è 4, allora ho le seguenti coppie: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ho già le coppie. Ora, devo costruire una combinazione usando …

28 algorithms graphics data-structures computational-geometry operating-systems process-scheduling algorithms sorting database-theory relational-algebra finite-model-theory logic automata linear-temporal-logic buchi-automata complexity-theory np-complete decision-problem machine-learning algorithms pattern-recognition logic formal-languages formal-grammars context-free

2

Come dimostrare che una lingua è senza contesto?

Esistono molte tecniche per dimostrare che una lingua non è senza contesto, ma come posso dimostrare che una lingua è senza contesto? Quali tecniche ci sono per dimostrarlo? Ovviamente, un modo è esibire una grammatica senza contesto per la lingua. Esistono tecniche sistematiche per trovare una grammatica senza contesto per …

26 formal-languages context-free formal-grammars proof-techniques reference-question

4

Come dimostrare che una grammatica non è ambigua?

Il mio problema è come posso dimostrare che una grammatica è inequivocabile? Ho la seguente grammatica: S→ s t a t e m e n t ∣ se e x p r e s s i o n allora S∣ se e x p r e s s i o …

25 context-free formal-grammars proof-techniques ambiguity

1

Esiste un algoritmo di analisi CFG non generale che riconosce EPAL?

EPAL, il linguaggio anche dei palindromi, è definito come il linguaggio generato dalla seguente inequivocabile grammatica senza contesto: S→ a aS→un'un'S \rightarrow a a S→ b bS→BBS \rightarrow b b S→ una Sun'S→un'Sun'S \rightarrow a S a S→ b SBS→BSBS \rightarrow b S b L'EPAL è la 'rovina' di molti …

23 formal-languages formal-grammars parsers

1

Come mostrare che L = L (G)?

Specificare le lingue formali dando grammatiche formali è un compito frequente: abbiamo bisogno di grammatiche non solo per descrivere le lingue, ma anche per analizzarle o persino per fare scienza adeguata . In tutti i casi, è importante che la grammatica a portata di mano sia corretta , ovvero generi …

22 formal-languages formal-grammars proof-techniques reference-question

4

Esistono altri modi per descrivere linguaggi formali diversi dalle grammatiche?

Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 7 anni fa . Sto cercando teorie matematiche che descrivono i linguaggi formali (insieme di stringhe) in generale e non solo le gerarchie grammaticali.

22 formal-languages formal-grammars

4

Perché la ricorsione sinistra è cattiva?

Nella progettazione del compilatore, perché la ricorsione sinistra dovrebbe essere eliminata nelle grammatiche? Sto leggendo che è perché può causare una ricorsione infinita, ma non è vero anche per una corretta grammatica ricorsiva?

20 formal-grammars compilers left-recursion

1

La parità linguistica per le grammatiche lineari senza contesto è decidibile?

Consideriamo due grammatiche senza contesto e G 2 e poniamo la seguente domanda: L ( G 1 ) = L ( G 2 ) , cioè le due grammatiche sono equivalenti?G1G1G_1G2G2G_2L(G1)=L(G2)L(G1)=L(G2)L(G_1) = L(G_2) In generale, questo problema è indecidibile. Tuttavia, se sia che G 2 sono grammatiche lineari a sinistra …

19 formal-languages context-free formal-grammars

1

Come posso convertire la macchina di Turing che riconosce la lingua

Secondo questo articolo di Wikipedia , le grammatiche senza restrizioni sono equivalenti alle macchine di Turing. L'articolo osserva che posso convertire qualsiasi macchina Turing in una grammatica senza restrizioni, ma mostra solo come convertire una grammatica in una macchina Turing. Come posso effettivamente farlo e convertire la macchina di Turing …

19 formal-grammars turing-machines simulation

2

Possono esserci "stati morti" in una grammatica senza contesto?

Può una grammatica senza contesto includere "stati morti" da un automa, come G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? Le regole di produzione da e C → c C verranno ripetute per sempre e non genereranno mai una parola. È …

18 context-free automata formal-grammars

Domande taggate «formal-grammars»