Scienza del computer

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

2
Esiste una diversa risoluzione del problema "penzoloni" diverso da "match più vicino"?
I seguenti regali di grammatica context-free un "penzoloni altro" tipo di ambiguità (immaginate che aaa acronimo di if expr thene bbb sta per elsee ccc sta per qualche altro tipo di istruzione o blocco): S→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; aS \;|\; c\\ \end{aligned} Ad esempio,aacbcaacbcaacbcpuò essere analizzato come(a(acbc))(a(acbc))(a(acbc))o come(a(ac)bc)(a(ac)bc)(a(ac)bc)(questa …
2
Per qualsiasi lingua
Sto cercando di fornire una prova per quanto segue: Per qualsiasi linguaggio AAA , esiste un linguaggio di BBB tale che A≤TBA≤TBA \le_{\mathrm{T}} B ma B ≰TA≰TA\nleq_{\mathrm{T}} A . Stavo pensando di lasciare che BBB fosse ATMATMA_{\mathrm{TM}} , ma mi rendo conto che non tutte le lingue sono Turing riducibili …
2
Che cos'è un file?
Sto cercando una definizione formale di file che non includa solo l'archiviazione, ma anche astrazioni come procfs o / dev / null (o qualsiasi file basato su fusibili) che non si riferiscono all'archiviazione. Finora so che tutti i file sono astrazioni che può essere identificato può avere nomi (di solito …
2
Calcolo efficiente dell'intero più piccolo con n divisori
Per affrontare questo problema, l'ho osservato per la prima volta ϕ(pe11 pe22⋯ pekk)=(e1+1)(e2+1)⋯(ek+1)ϕ(p1e1 p2e2⋯ pkek)=(e1+1)(e2+1)⋯(ek+1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) Dove ϕ(m)ϕ(m)\phi(m) è il numero di divisori (non necessariamente primi) di mmm . Se mmm è il numero intero più piccolo in modo …
1
Doppi triangoli unici di poligoni semplici
Data una triangolazione (senza punti di Steiner) di un semplice poligono , si può considerare il doppio di questa triangolazione, che è definita come segue. Creiamo un vertice per ogni triangolo nella nostra triangolazione e colleghiamo due vertici se i triangoli corrispondenti condividono un bordo. Il doppio grafico è noto …
3
Perché lo stato rimane invariato nella semantica operativa a piccoli passi di un ciclo while?
Di solito vedo che nella rappresentazione semantica operativa strutturale per il ciclo while, lo stato del programma non cambia: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whioleBdoS,σ)→(iofBthenS;(whioleBdoS)elSeSKioP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Per me, questo non è intuitivo, se …
1
Il trucco usato nella dimostrazione della doppia complessità esponenziale dell'aritmetica di Presburger
L'ho pubblicato su MathUnderflow ma non ho ricevuto risposte, quindi ho pensato di provarlo qui, Sto leggendo il vecchio documento di Rabin e Fischer [pubblicherò un link quando possibile] dove, tra le altre cose, è dimostrata la doppia complessità esponenziale dell'aritmetica di Presburger. La dimostrazione si basa sull'esistenza di una …
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.