Computerwissenschaften

1

Ich arbeite an einem Compiler für eine verkettete Sprache und möchte Unterstützung für Typinferenz hinzufügen. Ich verstehe Hindley-Milner, aber ich habe die Typentheorie im Laufe der Zeit gelernt, daher bin ich mir nicht sicher, wie ich sie anpassen soll. Ist das folgende System solide und eindeutig ableitbar? Ein Begriff ist …

15 programming-languages logic compilers type-theory type-checking

5

Gibt es unbestreitbare Eigenschaften von nicht vollständig funktionierenden Automaten?

Gibt es unentscheidbare Eigenschaften von Automaten mit linearer Begrenzung (um den Trick mit der leeren eingestellten Sprache zu vermeiden)? Was ist mit einem deterministischen endlichen Automaten? (Unlösbares beiseite legen). Ich möchte (wenn möglich) ein Beispiel für ein unentscheidbares Problem erhalten, das definiert wird, ohne Turing-Maschinen explizit zu verwenden. Ist die …

15 computability automata undecidability

3

Vorgehensweise bei Problemen mit dynamischen Graphen

Ich habe diese Frage bei generic stackoverflow gestellt und war hier gerichtet. Es ist großartig, wenn jemand erklären kann, wie man partielle oder vollständig dynamische Graphprobleme im Allgemeinen angeht. Beispielsweise: Finden Sie den kürzesten Pfad zwischen zwei Scheitelpunkten in einem ungerichteten gewichteten Diagramm für Instanzen, wenn bei jeder Instanz eine …

15 algorithms data-structures graphs

4

Kann eine Programmsprache so formbar sein, dass Programme die Sprachsemantik erweitern können?

Mit Bezug auf Funktionen in Sprachen wie Ruby (und Javascript), die es einem Programmierer ermöglichen, Klassen jederzeit nach ihrer Definition zu erweitern / außer Kraft zu setzen (einschließlich Klassen wie String), ist es theoretisch machbar, eine Sprache zu entwerfen, mit der Programme später erweitert werden können seine Semantik. Beispiel: Ruby …

15 programming-languages semantics

2

Kreisschnitt mit Sweep-Line-Algorithmus

Leider verstehe ich den Sweep-Line-Algorithmus immer noch nicht so gut . Alle Artikel und Lehrbücher zum Thema sind bereits gelesen, das Verständnis ist jedoch noch weit entfernt. Nur um es klarer zu machen, versuche ich so viele Übungen wie möglich zu lösen. Aber wirklich interessante und wichtige Aufgaben sind für …

15 algorithms computational-geometry

3

Logiktore aus alltäglichen Materialien

Logikgatter sind ein abstraktes Gerät, das mit elektromagnetischen Relais, Vakuumröhren oder Transistoren implementiert werden kann. Diese Implementierungen waren teilweise aufgrund verschiedener Eigenschaften der Verkettbarkeit, Haltbarkeit und Größe, die über ihre grundlegende Binärstabilität hinausgehen, erfolgreich beim Rechnen. Sie funktionieren auch gut, weil Elektrizität die Energiequelle ist, die ziemlich leicht herum transportiert …

15 computer-architecture didactics

1

Rechenleistung deterministischer versus nichtdeterministischer Min-Heap-Automaten

Dies ist eine Folgefrage von diesem . In einer früheren Frage zu exotischen Zustandsautomaten haben sich Alex ten Brink und Raphael mit den Rechenfähigkeiten einer besonderen Art von Zustandsautomaten befasst: Min-Heap-Automaten. Sie konnten zeigen, dass die Menge der von solchen Maschinen akzeptierten Sprachen ( ) weder eine Teilmenge noch eine …

15 formal-languages automata nondeterminism

2

Zeitaufwand für die Anforderung und seine Auswirkung auf den Projekterfolg und die Entwicklungszeit

Gibt es Hinweise darauf, dass sich Zeit, die für das Schreiben oder das Nachdenken über die Anforderungen aufgewendet wurde, auf die Entwicklungszeit auswirkt? Eine von Standish (1995) durchgeführte Studie legt nahe, dass teilweise unvollständige Anforderungen (13,1%) zum Scheitern der Projekte beigetragen haben. Gibt es Studien, die belegen, dass sich die …

15 software-engineering

2

Welche Methode wird zum Speichern großer geometrischer Objekte in einem Quadtree bevorzugt?

Wenn Sie geometrische Objekte in einem Quadtree (oder Octree) platzieren, können Sie Objekte, die größer als ein einzelner Knoten sind, auf verschiedene Arten platzieren: Platzieren Sie die Referenz des Objekts in jedem Blatt, für das es enthalten ist Platzieren Sie die Referenz des Objekts in dem tiefsten Knoten, für den …

15 graphics data-structures computational-geometry

2

Anzahl der Wörter einer bestimmten Länge in einer regulären Sprache

Gibt es eine algebraische Charakterisierung der Anzahl der Wörter einer bestimmten Länge in einer regulären Sprache? Wikipedia gibt ein etwas ungenaues Ergebnis an: Für jede reguläre Sprache existieren Konstanten und Polynome so dass für jedes die Anzahl von gilt Wörter der Länge in erfüllen die Gleichung .λ 1 ,LLLp 1 …

15 formal-languages regular-languages word-combinatorics

3

Gibt es abzählbare Mengen, die nicht berechenbar sind?

Eine Menge ist zählbar, wenn sie eine Abweichung von den natürlichen Zahlen aufweist, und ist berechenbar aufzählbar (ce), wenn ein Algorithmus vorhanden ist, der ihre Mitglieder auflistet. Jede nicht endliche rechnerisch aufzählbare Menge muss abzählbar sein, da wir aus der Aufzählung eine Bijektion konstruieren können. Gibt es Beispiele für abzählbare …

15 computability semi-decidability

7

Wie konstruiere ich ein XOR-Gatter mit nur 4 NAND-Gattern?

xorTor, jetzt muss ich dieses Tor mit nur 4 nandTor bauen a b out 0 0 0 0 1 1 1 0 1 1 1 0 das xor = (a and not b) or (not a and b), was A¯¯¯¯B+AB¯¯¯¯EIN¯B+EINB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Ich kenne die Antwort, aber wie komme ich aus der …

15 logic boolean-algebra

2

Was ist ein Beispiel für eine unbefriedigende 3-CNF-Formel?

Ich versuche, meinen Kopf um einen NP-Vollständigkeitsnachweis zu wickeln, der sich anscheinend um SAT / 3CNF-SAT dreht. Vielleicht ist es die späte Stunde, aber ich fürchte, ich kann mir keine 3CNF-Formel vorstellen, die nicht befriedigt werden kann (ich vermisse wahrscheinlich etwas Offensichtliches). Können Sie mir ein Beispiel für eine solche …

15 logic satisfiability 3-sat

4

Warum oktal und hexadezimal? Computer verwenden binäre und menschliche Dezimalzahlen

Warum verwenden wir andere Basen, die weder binär (für Computer) noch dezimal (für Menschen) sind? Computer stellen sie letztendlich in Binärform dar, und Menschen ziehen es nachdrücklich vor, ihre Dezimaldarstellung zu erhalten. Warum nicht an diesen beiden Basen festhalten?

15 numeral-representations

2

Was ist eine asymptotisch enge Obergrenze?

Aus dem, was ich gelernt habe, bedeutet asymptotisch eng gebunden, dass es von oben und unten wie in Theta-Notation gebunden ist. Aber was bedeutet eine asymptotisch enge Obergrenze für die Big-O-Notation?

15 asymptotics