L'uso del vettore Earley come riconoscitore è piuttosto semplice: quando viene raggiunta la fine della stringa, è sufficiente verificare che una produzione assiomatica completa sia iniziata in posizione 0. Se ne si possiede almeno una, la stringa viene accettata. L'uso del vettore Earley per ricostruire l'albero o gli alberi di …
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?
Al college abbiamo imparato la teoria del calcolo in generale e le macchine di Turing in modo più specifico. Uno dei grandi risultati teorici è che al costo di un alfabeto (simboli) potenzialmente grande, è possibile ridurre il numero di stati fino a solo 2. Stavo cercando esempi di diverse …
Ho riscontrato questo problema che comporta la manipolazione di un linguaggio privo di contesto. Sia LLL un linguaggio privo di contesto. Definire L#={x:xi∈LL#={x:xi∈LL^{\#} = \{ x : x^i \in L per ogni i=0,1,2,...}i=0,1,2,...}i=0,1,2,...\} . È L#L#L^{\#} sempre context-free? La mia ipotesi è che conserverà la mancanza di contesto. Qualcuno può …
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 …
Vorrei utilizzare il vostro aiuto per il seguente problema: . Mostra che L ∉ R E ∪ C o R E .L = { ⟨ M⟩ ∣ L ( M) è privo di contesto }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \}L ∉ R E∪ Co R EL∉RE∪CoREL \notin …
Sono bloccato nel risolvere il prossimo esercizio: Sostieni che se è privo di contesto e è regolare, allora (ovvero il quoziente giusto ) è privo di contesto.R L / R = { w ∣ ∃ x ∈ RLLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx …
Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …
Secondo questo grafico , i DCFL sono chiusi per inversione. Tuttavia, non sono convinto come la prova intuitiva (invertendo le frecce della macchina a controllo dello stato finito e cambiando spinta e pop) per questo sembra dipendere dal non determinismo nella scelta della transizione nulla da prendere dallo stato iniziale …
Definisci l' equivalenza di Nerode su una lingua come iff per ogni .L ⊆Σ*L⊆Σ∗L \subseteq \Sigma^{*}u~Lvu∼Lvu \sim_L vu w ∈ L ⇔ v w ∈ Luw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in Lw ∈Σ*w∈Σ∗w \in \Sigma^{*} L'equivalenza di Nerode ha finitamente molte classi di equivalenza proprio quando può essere riconosciuta da …
È la lingua L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} senza contesto? Immagino che non sia privo di contesto perché sembra troppo complicato per un PDA decidere se 2 numeri sono corretti o meno. Ho …
In classe questa settimana abbiamo imparato a conoscere i CFL e le loro proprietà di chiusura. Ho visto prove di unione, intersezione e complimenti, ma per l'inversione il mio conferenziere ha appena dichiarato chiuso. Volevo vedere la prova, quindi ho cercato negli ultimi giorni, ma tutto quello che ho trovato …
Come faccio a dimostrare che il problema di decidere se un PDA accetta una stringa del modulo { w ! w ∣ w ∈ { 0 , 1}*}{w!w|w∈{0,1}*}\{ w!w \mid w \in \{ 0, 1 \}^*\} è indecidibile? Ho cercato di ridurre questo problema a un altro indecidibile, ad esempio …
È la lingua L = { a , b}*∖ { (un'nBn)n∣ n ≥ 1 }L={a,b}∗∖{(anbn)n∣n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} context-free? Credo che la risposta sia che non è un CFL, ma non posso provarlo con il lemma di Ogden o il lemma di pompaggio.
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.