Computerwissenschaften c

9

Ich habe versucht, jemandem zu erklären, dass C Turing-vollständig ist, und habe festgestellt, dass ich eigentlich nicht weiß, ob es tatsächlich technisch Turing-vollständig ist. (C wie in der abstrakten Semantik, nicht wie in einer tatsächlichen Implementierung.) Die "offensichtliche" Antwort (ungefähr: Sie kann eine beliebige Menge an Speicher adressieren, so dass …

39 computability turing-completeness c

2

Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?

Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . …

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

Warum sind negative Array-Indizes sinnvoll?

Ich habe eine seltsame Erfahrung in der C-Programmierung gemacht. Betrachten Sie diesen Code: 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; } Wenn ich dies kompiliere und ausführe, erhalte ich keine Fehler oder Warnungen. …

14 programming-languages arrays c

1

Ist die Syntax der C-Sprache vollständig durch CFGs definiert?

Ich denke, die Frage ist autark. Ist die Syntax der C-Sprache vollständig durch kontextfreie Grammatiken definiert, oder haben wir Sprachkonstrukte, für die im Verlauf des Parsens möglicherweise nicht kontextfreie Definitionen erforderlich sind? Ein Beispiel für ein Nicht-CFL-Konstrukt, das ich dachte, war die Deklaration von Variablen vor ihrer Verwendung. In Compilern …

7 context-free programming-languages compilers parsing c

Als «c» getaggte Fragen