Scienza del computer context-free

2

Decidibilità delle lingue di grammatica e automi

Nota che questa è una domanda relativa allo studio in un corso CS presso un'università, NON è un compito a casa e può essere trovato qui sotto l'esame dell'autunno 20112. Ecco le due domande che sto esaminando da un esame passato. Sembrano essere collegati, il primo: Permettere FINITECFG={<G>∣G is a …

16 formal-languages computability context-free regular-languages turing-machines

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

3

Esempio di un linguaggio privo di contesto che può comunque essere pompato?

Quindi sostanzialmente L soddisfa le condizioni del lemma di pompaggio per i CFL ma non è un CFL (ciò è possibile secondo la definizione del lemma).

15 formal-languages context-free pumping-lemma

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

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

1

Esiste un contesto di libero, non regolare il linguaggio

So che ci sono lingue non regolari, quindi è regolare, ma tutti gli esempi che posso trovare sono sensibili al contesto ma non sono liberi dal contesto.L∗L∗L^* Nel caso in cui non ce ne sia nessuno, come lo provi?

13 formal-languages context-free regular-languages

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

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

2

Tutte le lingue regolari e senza contesto sono decidibili in modo efficace?

Mi sono imbattuto in questa figura che mostra che le lingue regolari e libere da contesto sono (proprio) sottoinsiemi di problemi efficienti (presumibilmente ). Capisco perfettamente che i problemi efficienti sono un sottoinsieme di tutti i problemi decidibili perché possiamo risolverli ma potrebbe richiedere molto tempo.PP\mathrm{P} Perché tutte le lingue …

12 formal-languages regular-languages context-free efficiency

2

Esempi di linguaggi senza contesto con complementi senza contesto

Le lingue senza contesto non sono chiuse sotto integrazione. Nelle lezioni ci è stato dato lo stesso argomento di qui su Wikipedia : Per sia A che B sono senza contesto, ma la loro intersezione A ∩ B non lo è. Dal momento che le lingue senza contesto sono chiuse …

11 formal-languages context-free

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

3

Prova semplice per le lingue senza contesto chiuse in turni ciclici

Lo spostamento ciclico (chiamato anche rotazione o coniugazione ) di una lingua è definito come . Secondo Wikipedia (e qui ) le lingue senza contesto sono chiuse sotto questa operazione, con riferimenti a documenti di Oshiba e di Maslov. C'è una facile prova di questo fatto?LLL{yx∣xy∈L}{yx∣xy∈L}\{ yx \mid xy \in …

11 formal-languages context-free closure-properties

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

Domande taggate «context-free»