theory

Fragen
Programmiersprachen-agnostisch Fragen, die sich eher auf die theoretischen Aspekte konzentrieren als auf die eigentlichen Implementierungen.
3
Antworten

Gleichwertige Methodenüberladung warum notwendig?

Ich habe einen von Google erstellten JAVA-Code durchsucht und das ImmutableSet gefunden: Ссылка Sie haben die Methode of () auf verschiedene andere Arten implementiert: %Vor% Ich habe die Implementierung überprüft, die sich hier befinde...
04.02.2014, 14:22
1
Antwort

P = NP: Was sind die vielversprechendsten Methoden?

Ich weiß, dass P = NP bisher nicht gelöst wurde, aber kann mir jemand etwas über Folgendes sagen: Was sind derzeit die vielversprechendsten mathematisch / computerwissenschaftlichen Methoden, die helfen könnten ? dieses Problem angehen? Oder gi...
24.05.2010, 23:22
1
Antwort

Sind die Grammatiken moderner Programmiersprachen kontextfrei oder kontextsensitiv?

Sind die Sprachen C ++, C # oder Java kontextfrei oder kontextsensitiv?     
11.03.2012, 04:24
1
Antwort

Kontextfreie Sprachfrage (Pumping Lemma)

Ich weiß, dass dies nicht direkt mit der Programmierung zusammenhängt, aber ich habe mich gefragt, ob jemand das Pumping-Lemma auf den folgenden Beweis anwenden kann:    Zeige, dass L = {(a ^ n) (b ^ n) (c ^ m): n! = m} ist keine kontextfre...
08.04.2010, 02:12
9
Antworten

Kann Garbage Collection mit expliziter Speicherverwaltung koexistieren?

Nehmen wir zum Beispiel an, dass ein Schlüsselwort "delete" in C # 4 enthalten sein soll. Wäre es möglich, zu garantieren, dass Sie keine wilden Zeiger hätten, aber aufgrund des Verweises immer noch auf den Müllsammler vertrauen könnten System?...
25.10.2008, 12:01
3
Antworten

Namen der Namenskonventionen für HTML-Formulare

In Rails und CakePHP1.2 enthalten Formulare normalerweise Eingabeelemente mit Namen wie folgt: %Vor% Gibt es einen formellen Namen für die im Attribut "name" verwendete Schreibweise? Gleichermaßen glaube ich in CakePHP1.1, dass dasselbe w...
26.01.2010, 20:59
4
Antworten

Gibt es eine formale Definition für "Refactoring"?

Wer weiß schon, wie man das Refactoring formeller definieren kann? AKTUALISIEREN.    Ein Refactoring ist ein Paar R = (pre; T) wobei pre die Voraussetzung dafür ist   das Programm muss genügen, und T ist die Programmumwandlung.     
19.11.2008, 05:38
1
Antwort

Was sind alle bekannten Sprachen, die Turing-Maschinen nicht akzeptieren können?

Für Beispiel , die Sprache der Turing-Maschinen, die dies tun Akzeptieren Sie nicht ihre eigene Codierung kann nicht von einer Turing-Maschine akzeptiert werden.     
26.06.2012, 23:37
3
Antworten

Steigerung meiner GA mit Neuronalen Netzen und / oder Reinforcement Learning

Wie ich in früheren Fragen erwähnt habe, schreibe ich eine Labyrinth-Lösung, die mir hilft, mehr theoretische CS-Themen zu lernen. Nach einigen Schwierigkeiten habe ich einen genetischen Algorithmus, der eine Reihe von Regeln entwickeln kann (be...
17.03.2010, 14:44
4
Antworten

Maximalgewicht verbundener Teilgraph in einem gerichteten azyklischen Graphen

Ich arbeite an einem Forschungsproblem mit Logikschaltungen (die als DAGs dargestellt werden können). Jeder Knoten in der DAG hat eine bestimmte Gewichtung, die negativ sein kann. Mein Ziel ist es, einen verbundenen Subgraphen so zu finden, dass...
25.03.2011, 16:07