Domande taggate «closure-properties»

Domande su operazioni su oggetti di qualche tipo che risultano in oggetti dello stesso tipo.

2
Chiusura con il quoziente giusto con una lingua fissa
Mi piacerebbe molto il tuo aiuto per quanto segue: Per ogni fisso L2L2L_2devo decidere se esiste una chiusura con i seguenti operatori: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . Le opzioni pertinenti sono: Le lingue regolari …
7
è
Se UN2A2A^2 è regolare, ne consegue che UNAA è regolare? Il mio tentativo di provare: Sì, per contraddizione supponiamo che UNAA non sia regolare. Allora UN2= A ⋅ AA2=A⋅AA^2 = A \cdot A . Poiché la concatenazione di due lingue non regolari non è regolare, UN2A2A^2 non può essere regolare. …
1
Costruire tutte le lingue senza contesto da un insieme di lingue di base e proprietà di chiusura?
Un modo di guardare le espressioni regolari è come una prova costruttiva del seguente fatto: è possibile costruire le lingue regolari iniziando con un piccolo set di lingue e combinandole tramite un piccolo set fisso di proprietà di chiusura. In particolare, se iniziamo con la lingua vuota, la lingua contenente …
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
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 …
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.