Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

2
Catena infinita di grandi
Prima di tutto, lasciami scrivere la definizione di grande solo per rendere esplicite le cose.OOO tale che 0 ≤ f ( n ) ≤ c g ( n ) , ∀ n ≥ n 0f(n)∈O(g(n))⟺∃c,n0>0f(n)∈O(g(n))⟺∃c,n0>0f(n)\in O(g(n))\iff \exists c, n_0\gt 00≤f(n)≤cg(n),∀n≥n00≤f(n)≤cg(n),∀n≥n00\le f(n)\le cg(n), \forall n\ge n_0 Diciamo che abbiamo un numero …
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
Gödelization in Turing Machine
Stavo guardando il corso di Gödelization nel corso di Teoria del calcolo. Potrei capire i concetti di numerazione di Gödel, ma non potrei capirne l'importanza nella Teoria del calcolo. Qualcuno potrebbe indicare alcuni buoni materiali o sottolineare la sua importanza.
3
Discrepanza tra testa e croce
Considera una sequenza di nnn lanci di una moneta imparziale. Lasciare HiHiH_i denota il valore assoluto della eccesso del numero di teste sopra code visto nel primo iii lanci. Definisci H=maxiHiH=maxiHiH=\text{max}_i H_i . Mostra che E[Hi]=Θ(i√)E[Hi]=Θ(i)E[H_i]=\Theta ( \sqrt{i} )edE[H]=Θ(n−−√)E[H]=Θ(n)E[H]=\Theta( \sqrt{n} ). Questo problema si presenta nel primo capitolo di "Algoritmi …
4
Qualcuno può dare un esempio semplice ma non giocattolo di una grammatica sensibile al contesto?
Sto cercando di capire le grammatiche sensibili al contesto. Capisco perché le lingue piacciono { w w ∣ w ∈ A*}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} non sono liberi dal contesto, ma cosa vorrei sapere se una lingua simile al calcolo lambda non tipizzato è sensibile …
4
Confronto di numeri razionali
Dato a , b , c , d∈ Na,b,c,d∈Na,b,c,d \in \mathbb N e b , d∉ { 0 }b,d∉{0}b,d \notin \{0\} , un'B&lt; cd⟺a d&lt; c bab&lt;cd⟺ad&lt;cb \begin{eqnarray*} \frac a b < \frac c d &\iff& ad < cb \end{eqnarray*} Le mie domande sono: Dato a , b , c …
2
Intersezione e unione di una lingua regolare e non regolare
Lascia che sia regolare, regolare, non regolare. Mostra che non è regolare o fai un controesempio.L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 Ho provato questo: guarda . Questo è regolare. Posso costruire un automa finito per questo: è regolare, è regolare, quindi rimuovi tutti i percorsi (quantità finita) per dalla quantità finita …
2
Karp Reduction è identico a Levin Reduction
Definizione: Karp Reduction Una lingua è Karp riducibile a una lingua se esiste una funzione calcolabile in tempo polinomiale tale che per ogni , se e solo se .AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in B Definizione: Levin Reduction Una ricerca problema è Levin riducibile a una ricerca problema se c'è funzione polinomiale che riduce …
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.