Scienza del computer formal-languages

2

Spiegare "decidibilità" e "verificabilità"

Sto cercando di comprendere (intuitivamente) i due termini "decidibilità" e "verificabilità". Ho fatto una ricerca ragionevole e ho esaminato i vari testi su cui posso mettere le mani. Tuttavia, la loro comprensione intuitiva sembra sfuggirmi, specialmente per la seconda. Tra le molte definizioni trovate, la seguente trovata in questa pagina …

8 complexity-theory formal-languages terminology computability

1

È la lingua

È 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 …

8 formal-languages context-free pumping-lemma 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

Prove usando il lemma di pompaggio regolare

Ho due domande: Considero la seguente lingua In altre parole, non è palindromo di lunghezza pari. Ho dimostrato che questa lingua NON è regolare dimostrando che il suo complemento non è regolare. La mia domanda è come dimostrarlo usando il lemma del pompaggio senza usare il complemento.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* …

8 formal-languages regular-languages pumping-lemma

1

non può essere calcolabile anche se è decidibile?

Sto cercando di insegnarmi la teoria della calcolabilità con un libro di testo. Secondo il mio libro, una funzione su un alfabeto è calcolabile solo se la linguafffA={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A=\{a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, …

8 formal-languages computability undecidability

2

Come faccio a dimostrare se un PDA accetta una stringa

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 …

8 formal-languages automata context-free undecidability pushdown-automata

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

Descrivere formalmente un nuovo linguaggio di programmazione specifico per il dominio

Sto per implementare un linguaggio specifico di dominio per la rappresentazione delle convenzioni di apprendimento sociale. Parte dell'implementazione è una descrizione formale di un linguaggio: il suo "calcolo", i simboli e le espressioni logiche. Il mio approccio sarebbe quello di descrivere il linguaggio descrivendone la grammatica ma ci sono anche …

8 formal-languages programming-languages semantics

1

Questa lingua è senza contesto?

È 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.

8 formal-languages context-free pumping-lemma

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

Qual è una formula per il numero di stringhe senza ripetizioni?

Voglio contare il numero di stringhe su un alfabeto finito , che non contiene ripetizioni, e con ciò intendo per qualsiasi sottostringa di ,, non esiste una copia disgiunta di in . Per esempio, lascia . Quindi è una delle stringhe che voglio contare, poiché per la sottostringa non ci …

8 formal-languages combinatorics strings word-combinatorics

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

3

Spiegare questa definizione formale di calcolo

Sto provando ad attaccare ancora una volta TAOCP, data la pesantezza letterale dei volumi che ho difficoltà a impegnarmi seriamente. In TAOCP 1 Knuth scrive, pagina 8, concetti di base: Permettere AAAessere un insieme finito di lettere. Sia l'insieme di tutte le stringhe in (l'insieme di tutte le sequenze ordinate …

7 formal-languages turing-machines computation-models

Domande taggate «formal-languages»