Domande taggate «formal-languages»

Domande relative a linguaggi formali, grammatiche e teoria degli automi

1
La seguente trasformazione preserva la mancanza di contesto?
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ò …
3
È
Ho sostenuto la mia teoria degli esami di calcolo qualche settimana fa, e questa era una delle domande: Supponiamo che la linguaL = { ( anBm)r∣ n , m , r ≥ 0 }L={(un'nBm)r|n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L è regolare? Se sì, fornisci un'espressione regolare o un automa. Dopo che …
1
La prova che
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 …
3
Se
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 …
1
Espressività delle moderne espressioni regolari
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 …
2
Suddividere una lingua regolare infinita in 2 lingue regolari infinite disgiunte
Dato qualsiasi linguaggio regolare infinito , come posso dimostrare che può essere partizionato in 2 linguaggi regolari infiniti disgiunti ? Cioè: , e e sono entrambi infiniti e regolari.LLLLLLL1,L2L1,L2L_1, L_2L1∪L2=LL1∪L2=LL_1 \cup L_2 = LL1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothingL1L1L_1L2L2L_2 Finora ho pensato a: usando il lemma del pompaggio in modo tale …
1
Cosa significa dire che una lingua è "effettivamente chiusa" sotto un'operazione?
Ho letto alcuni articoli di teoria del linguaggio formale e ho trovato un termine che non capisco. Il documento farà spesso riferimento a un set "effettivamente chiuso sotto l'intersezione" o ad altre operazioni. Cosa significa "efficacemente" qui? In che cosa differisce dalla normale chiusura? Per riferimento, il documento in cui …
1
I linguaggi formali possono essere usati per studiare la notazione matematica?
Domanda: Esistono testi introduttivi nel linguaggio formale o nella teoria del linguaggio di programmazione che discutono su come applicarlo allo studio della notazione ottimale? In particolare, sono interessato a scoprire quali lingue stack, alberi di analisi e indici sono e come prevedere quando un determinato tipo di notazione porterà alla …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.