Scienza del computer reference-question

6

Sono un secchione informatico da molti anni. Sono in grado di programmare in diverse lingue e posso persino costruirle. L'altro giorno mi sono seduto con un amico e ho chiesto come un computer effettivamente prende l'elettricità e fa qualcosa con esso, e non siamo riusciti a capirlo, e Google non …

40 computer-architecture education reference-question

6

Funzioni di ordinamento per crescita asintotica

Supponiamo che io abbia un elenco di funzioni, ad esempio nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Come posso ordinarli asintoticamente, cioè dopo la relazione definita da f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , supponendo che siano effettivamente comparabili a coppie (vedi anche qui )? …

35 asymptotics landau-notation reference-question

7

In che modo il computer determina se un numero è più piccolo o più grande di un altro?

Potrebbe sembrare una domanda stupida ma sono davvero curioso di sapere come un computer sa che 1<21<21<2 ? Inoltre, come fa un computer a sapere che l'ordine dei numeri interi è e l'alfabeto è A, B, C, D, ...? È archiviato da qualche parte nell'hardware o il sistema operativo fornisce …

34 computer-architecture reference-question

4

Come si collegano O e Ω al caso peggiore e migliore?

Oggi abbiamo discusso in una lezione un algoritmo molto semplice per trovare un elemento in un array ordinato usando la ricerca binaria . Ci è stato chiesto di determinare la sua complessità asintotica per una serie di nnn elementi. La mia idea era, che è obvisously O(logn)O(log⁡n)O(\log n) , o …

33 algorithm-analysis asymptotics landau-notation reference-question

2

Come dimostrare che una lingua è senza contesto?

Esistono molte tecniche per dimostrare che una lingua non è senza contesto, ma come posso dimostrare che una lingua è senza contesto? Quali tecniche ci sono per dimostrarlo? Ovviamente, un modo è esibire una grammatica senza contesto per la lingua. Esistono tecniche sistematiche per trovare una grammatica senza contesto per …

26 formal-languages context-free formal-grammars proof-techniques reference-question

1

Come mostrare che L = L (G)?

Specificare le lingue formali dando grammatiche formali è un compito frequente: abbiamo bisogno di grammatiche non solo per descrivere le lingue, ma anche per analizzarle o persino per fare scienza adeguata . In tutti i casi, è importante che la grammatica a portata di mano sia corretta , ovvero generi …

22 formal-languages formal-grammars proof-techniques reference-question

1

Come faccio a scrivere una prova usando l'induzione sulla lunghezza della stringa di input?

Nel mio corso di Teoria del calcolo, molti dei nostri problemi implicano l'uso dell'induzione sulla lunghezza della stringa di input per provare affermazioni sugli automi finiti. Capisco l'induzione matematica, tuttavia quando entrano in gioco le corde mi inciampo davvero. Lo apprezzerei davvero se qualcuno passasse attraverso il processo di realizzazione …

20 automata finite-automata proof-techniques reference-question induction

Domande taggate «reference-question»