Scienza del computer c

9

Stavo cercando di spiegare a qualcuno che C è completo di Turing e mi sono reso conto che in realtà non so se tecnicamente sia completo di Turing. (C come nella semantica astratta, non come in un'implementazione effettiva.) La risposta "ovvia" (approssimativamente: può indirizzare una quantità arbitraria di memoria, quindi …

40 computability turing-completeness c

2

Perché il tipo di vuoto di C non è analogo al tipo vuoto / inferiore?

Wikipedia e altre fonti che ho trovato elencano il voidtipo C come un tipo di unità anziché un tipo vuoto. Lo trovo confuso in quanto mi sembra che si voidadatti meglio alla definizione di un tipo vuoto / inferiore. voidPer quanto ne so, non abitano valori . Una funzione con …

28 type-theory c logic modal-logic coq equality coinduction artificial-intelligence computer-architecture compilers asymptotics formal-languages asymptotics landau-notation asymptotics turing-machines optimization decision-problem rice-theorem algorithms arithmetic floating-point automata finite-automata data-structures search-trees balanced-search-trees complexity-theory asymptotics amortized-analysis complexity-theory graphs np-complete reductions np-hard algorithms string-metrics computability artificial-intelligence halting-problem turing-machines computation-models graph-theory terminology complexity-theory decision-problem polynomial-time algorithms algorithm-analysis optimization runtime-analysis loops turing-machines computation-models recurrence-relation master-theorem complexity-theory asymptotics parallel-computing landau-notation terminology optimization decision-problem complexity-theory polynomial-time counting coding-theory permutations encoding-scheme error-correcting-codes machine-learning natural-language-processing algorithms graphs social-networks network-analysis relational-algebra constraint-satisfaction polymorphisms algorithms graphs trees

7

Perché gli indici di array negativi hanno senso?

Mi sono imbattuta in una strana esperienza nella programmazione C. Considera questo codice: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Quando compilo ed eseguo questo, non ricevo alcun errore o avviso. Come …

14 programming-languages arrays c

Domande taggate «c»