Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Welche Mathematik kann für diese CS-Bereiche interessant sein?
Für meinen CS-Abschluss hatte ich den größten Teil des "normalen" mathematischen Hintergrunds: Kalkül: Differential, Integral, Komplexe Zahlen Algebra: so ziemlich die Konzepte bis zu den Feldern. Zahlentheorie: XGCD und ähnliches, hauptsächlich für Krypto. Lineare Algebra: bis zu Eigenvektoren / Eigenwerten Statistik: Wahrscheinlichkeiten, Tests Logik: Satz, Prädikat, Modal, Hybrid. Meine Hauptinteressen …
1
Beispiel für einen falschen Satz bei der Annahme von Typ: Typ
Wenn man in der Typentheorie zulässt, dass Typ ein Mitglied von sich selbst ist, macht dies die Theorie inkonsistent. Ich verstehe es in Analogie zu Russels Paradoxon in der Mengenlehre, würde es aber vorziehen, es in der Typentheorie zu sehen. Gibt es ein kurzes Beispiel für das Äquivalent in der …
2
Interaktive Beweise für coNP
Ich versuche, interaktive Beweissysteme zu verstehen und habe das folgende Problem als Übung ausprobiert. Wir wissen, dass und , also kommen Sie mit (leicht verständlichen) interaktiven Proof-Systemen für ?I P = P S P A C E P H.P.H.⊆ P.S.P.A C.E.PH⊆PSPACEPH \subseteq PSPACEichP.= P.S.P.A C.E.IP=PSPACEIP=PSPACEP.H.PHPH Ein interaktives für ist trivial, …
3
Kontextsensitive Grammatik für die Sprache der mit sich selbst verketteten Wörter
Ich suche eine kontextsensitive Grammatik, die die folgende Sprache beschreibt: .L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Ich habe Probleme mit der Tatsache, dass keine Regeln wie erlaubt sind und ich daher kein Nichtterminal platzieren kann, das die "Mitte" des Wortes angibt. Gibt es einen Trick …
4
Was ist ein guter Algorithmus zum Generieren von zufälligen DFAs?
Ich generiere zufällige DFAs, um einen DFA-Reduktionsalgorithmus auf ihnen zu testen. Der Algorithmus, der ich jetzt bin verwendet , ist wie folgt: für jeden Zustand , für jedes Symbol des Alphabets , fügen bis zu einem gewissen zufälligen Zustand. Jeder Staat hat die gleiche Wahrscheinlichkeit, ein Endzustand zu werden.qqqcccδ( q, …
2
Was war vor dem PAC-Lernen los?
Ich untersuche das PAC-Lernen (Computational Learning Theory) als Anfänger ohne Vorkenntnisse in maschinellem Lernen / KI. Ich untersuche das Modell hauptsächlich aus historischer Sicht. Das Wichtigste dabei sind natürlich die modellbasierten Ergebnisse. Es gibt genügend Papiere, die diese Ergebnisse dokumentieren. Ich möchte aber auch etwas darüber schreiben, was vor dem …
1
Ich suche ein populärwissenschaftliches Buch über Bioinformatik oder Computational Genomics
Ein intelligenter 15-Jähriger, den ich kenne, interessiert sich sowohl für Informatik als auch für Genetik. Ich sagte ihr, dass diese Felder eine hervorragende Kombination bilden. Ich möchte ihr ein Buch über Bioinformatik oder Computational Genomics geben. Ich suche ein lustiges Buch, kein Lehrbuch. Insbesondere sollte es die Menschen dazu inspirieren, …
2
Zwei-Zustands-Turingmaschine für die Klammeranpassung
Im College haben wir etwas über die Theorie der Berechnung im Allgemeinen und Turing-Maschinen im Besonderen gelernt. Eines der großartigen theoretischen Ergebnisse ist, dass Sie auf Kosten eines potenziell großen Alphabets (Symbole) die Anzahl der Zustände auf nur 2 reduzieren können. Ich habe nach Beispielen für verschiedene Turingmaschinen gesucht und …
1
Bewahrt die folgende Transformation die Kontextfreiheit?
Ich bin auf dieses Problem gestoßen, bei dem eine kontextfreie Sprache manipuliert wurde. Sei eine kontextfreie Sprache. Definieren Sie für jedes . Ist immer kontextfrei? Ich vermute, dass dadurch die Kontextfreiheit erhalten bleibt. Kann jemand einen elementaren Beweis dafür liefern?LLLL#={x:xi∈LL#={x:xi∈LL^{\#} = \{ x : x^i \in Li=0,1,2,...}i=0,1,2,...}i=0,1,2,...\}L#L#L^{\#}
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.