Scienza del computer closure-properties

4

Se

Abbiamo due lingue: L1,L2L1,L2L_1,L_2. Lo sappiamoL1L2L1L2L_1L_2 è un linguaggio normale, quindi la mia domanda è se L2L1L2L1L_2L_1 è normale? Cerco di trovare un modo per dimostrarlo ... Ovviamente non posso supporre che L1,L2L1,L2L_1,L_2sono regolari ... Quindi cerco un modo per dimostrarlo. Vorrei avere qualche suggerimento! Grazie!

8 formal-languages regular-languages closure-properties

1

I DCFL sono chiusi per inversione?

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 …

8 formal-languages context-free closure-properties pushdown-automata nondeterminism

2

le lingue complete NP sono chiuse in caso di operazioni regolari?

Ho provato a cercare online, ma non sono riuscito a trovare dichiarazioni definitive. Avrebbe senso per me che l'Unione e l'intersezione di due lingue NPC avrebbero prodotto una lingua non necessariamente in NPC. È anche vero che le lingue NPC non sono chiuse sotto il complemento, la concatenazione e le …

8 complexity-theory np-complete closure-properties

1

La stella kleene di un linguaggio unario infinito produce sempre un linguaggio regolare

Sia , dove e per tutto .L = {un'n∣ n ≥ 0 }L={an∣n≥0}L = \{a^n \mid n \ge 0\}un'0= ϵa0=ϵa^0 = \epsilonun'n=un'n - 1un'an=an−1aa^n = a^{n-1}an ≥ 1n≥1n \ge 1 Pertanto costituito da sequenze di di tutte le lunghezze, inclusa una sequenza di lunghezza . Lasciate essere qualsiasi sottoinsieme infinito …

8 formal-languages regular-languages closure-properties

3

Dimostrare che DPDA è chiuso a complemento per costruzione

Ho cercato per parecchio tempo di trovare una costruzione in modo da poter dimostrare formalmente che un PDA deterministico è chiuso sotto integrazione. Tuttavia, capita che ogni idea che ho abbia qualcosa che alla fine non si adatta. Potresti darmi una mano? Il problema principale si verifica con le mosse …

8 formal-languages automata closure-properties pushdown-automata

2

Regolarità della metà esatta delle parole da una lingua normale

Sia un linguaggio regolare. La lingua regolare?LLLL2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} So che è molto simile alla domanda qui , ma il trucco è che non è una semplice sottostringa di una parola in una lingua …

8 formal-languages regular-languages closure-properties

1

Esiste un linguaggio a un contatore rigorosamente non deterministico il cui complemento è un contatore?

Sia A = { L ∣ Lè un contatore e L¯ è anche un contatore }A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Chiaramente,Un contatore deterministico ⊆ ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A È il caso che ?A = Contatore deterministicoA=Deterministic …

8 formal-languages automata closure-properties pushdown-automata

3

Lingue senza contesto chiuse sotto Inversione

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 …

8 context-free closure-properties

3

Provare che la lingua che consiste in tutte le stringhe in una lingua ha la stessa lunghezza di una stringa in un'altra lingua è normale

Quindi mi gratto la testa per questo problema da un paio di giorni. Dato un po 'di linguaUNUNA e BBB che è normale, mostra che la lingua LLL che consiste di tutte le stringhe in UNUNA la cui lunghezza è uguale a una stringa in BBB è una lingua normale. …

8 formal-languages regular-languages finite-automata proof-techniques closure-properties

1

Prova che le lingue normali sono chiuse sotto l'operatore del ciclo

Ho tra qualche giorno un esame e ho problemi per risolvere questo compito. Sia una lingua normale sull'alfabeto . Abbiamo l'operazione E ora dovremmo mostrare che è anche regolare.LLLΣΣ\Sigmaciclo( L ) = { x y∣ x , y∈Σ* e yx ∈ L }cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in …

8 formal-languages regular-languages finite-automata closure-properties

1

Dimostrare la chiusura sotto integrazione di lingue accettate dagli automi min-heap

Questa è una domanda di follow-up di questo . In una precedente domanda sulle macchine a stati esotici , Alex ten Brink e Raphael hanno affrontato le capacità computazionali di un tipo particolare di macchina a stati: automi min-heap. Sono stati in grado di dimostrare che l'insieme delle lingue accettate …

8 formal-languages automata closure-properties

Domande taggate «closure-properties»