Computerwissenschaften reference-question

6

Ich bin seit vielen, vielen Jahren ein Computer-Nerd. Ich kann in einigen Sprachen programmieren und sie sogar erstellen. Ich habe mich neulich mit einem Kumpel zusammengesetzt und gefragt, wie ein Computer tatsächlich Strom verbraucht und etwas damit macht, und wir konnten es einfach nicht herausfinden, und Google hat auch nicht …

40 computer-architecture education reference-question

6

Sortierfunktionen nach asymptotischem Wachstum

Angenommen, ich habe zum Beispiel eine Liste von Funktionen 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 Wie sortiere ich sie asymptotisch, dh nach der durch definierten Beziehung? f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , unter der Annahme, dass sie tatsächlich paarweise vergleichbar sind (siehe auch …

35 asymptotics landau-notation reference-question

7

Wie ermittelt der Computer, ob eine Zahl kleiner oder größer als eine andere ist?

Es mag sich nach einer dummen Frage anhören, aber ich bin wirklich neugierig zu wissen, wie ein Computer diese kennt . Woher weiß ein Computer, dass die Reihenfolge der Ganzzahlen und des Alphabets A, B, C, D, ... ist? Ist es irgendwo in der Hardware gespeichert oder liefert das Betriebssystem …

34 computer-architecture reference-question

4

Wie verhalten sich O und Ω zum schlechtesten und besten Fall?

Heute haben wir in einer Vorlesung einen sehr einfachen Algorithmus zum Finden eines Elements in einem sortierten Array unter Verwendung der binären Suche besprochen . Wir wurden gebeten, die asymptotische Komplexität für ein Array von Elementen zu bestimmen .nnn Meine Idee war, dass es offensichtlich oder , um genauer zu …

33 algorithm-analysis asymptotics landau-notation reference-question

2

Wie kann man beweisen, dass eine Sprache kontextfrei ist?

Es gibt viele Techniken , um zu beweisen , dass eine Sprache ist nicht kontextfrei, aber wie ich beweisen , dass eine Sprache ist kontextfrei? Welche Techniken gibt es, um dies zu beweisen? Offensichtlich besteht eine Möglichkeit darin, eine kontextfreie Grammatik für die Sprache zu präsentieren. Gibt es systematische Techniken, …

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

1

Wie kann man zeigen, dass L = L (G)?

Das Spezifizieren von formalen Sprachen durch die Angabe formaler Grammatiken ist eine häufige Aufgabe: Wir brauchen Grammatiken, um Sprachen nicht nur zu beschreiben, sondern auch zu analysieren oder sogar Wissenschaft zu betreiben . In allen Fällen ist es wichtig, dass die vorliegende Grammatik korrekt ist, dh genau die gewünschten Wörter …

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

1

Wie schreibe ich einen Beweis mit Induktion über die Länge der Eingabezeichenfolge?

In meinem Kurs über Computertheorie bestehen viele unserer Probleme darin, mithilfe der Induktion der Länge der Eingabezeichenfolge Aussagen über endliche Automaten zu beweisen. Ich verstehe die mathematische Induktion, aber wenn Saiten ins Spiel kommen, werde ich richtig gestolpert. Ich würde es wirklich begrüßen, wenn jemand Schritt für Schritt einen solchen …

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

1

Was ist los mit meinem Pumping Lemma Beweis?

Die Sprache ist offensichtlich regulär - zum Beispiel entspricht sie dem regulären Ausdruck . Das folgende Argument des Pumping Lemma scheint jedoch zu zeigen, dass es nicht regelmäßig ist. Was ist falsch gelaufen?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 \}(00)∗(00)∗(00)^* Ich habe einen Weg gefunden, …

8 formal-languages regular-languages proof-techniques pumping-lemma reference-question

Als «reference-question» getaggte Fragen