Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Wie kann man beweisen, dass kontextsensitive Sprachen unter Überschneidung und Ergänzung geschlossen sind?
Dies ist eine Frage aus der Prüfung unseres Kurses "Automaten und formale Sprachen". Es wurde eine Frage gestellt, um zu beweisen oder zu widerlegen, dass jede "relative Komplement" -Operation zwischen zwei kontextsensitiven Sprachen auch eine kontextsensitive Sprache erzeugt. Aus den kontextsensitiven Schließungseigenschaften Wikipedia und princeton.edu . Ich weiß, dass diese …
1
Wie kann man den Satz des strukturierten Programms beweisen?
Wikipedia : Das strukturierte Programm [...] besagt, dass [...] jeder Algorithmus mit nur drei Kontrollstrukturen ausgedrückt werden kann. Sie sind Ausführen eines Unterprogramms und dann eines anderen Unterprogramms (Sequenz) Ausführen eines von zwei Unterprogrammen gemäß dem Wert eines booleschen Ausdrucks (Auswahl) Ausführen eines Unterprogramms, bis ein boolescher Ausdruck wahr ist …
1
Approximationsalgorithmus für Feedback Arc Set
Bei einem gerichteten Graphen ist ein Rückkopplungsbogensatz ein Satz von Bögen, deren Entfernung einen azyklischen Graphen hinterlässt. Das Problem besteht darin, die minimale Kardinalität eines solchen Satzes zu finden.G=(V,A)G=(V,A)G = (V,A) Ich möchte herausfinden, ob es einen Approximationsalgorithmus für dieses Problem gibt.
5
Bedeutung der leeren Zeichenfolge
Welche Bedeutung hat eine leere Zeichenfolge in CS (und insbesondere in formalen Sprachen) im Sinne einer Zeichenfolge, die sich von einer Nullreferenzzeichenfolge unterscheidet? Warum brauchen Sie ein separates Konzept, das der "leeren Zeichenfolge", die sogar einen eigenen griechischen Buchstaben (ε) hat? Könnte nicht nur ein EOL-Charakter es ersetzen?
2
Äquivalenz von zwei Lambda-Ausdrücken für NOT
Ich habe zwei verschiedene Lambda-Ausdrücke für die logische NOT-Funktion gesehen. Einer von ihnen wendet seinen Parameter nur auf Konstanten trueund falseintern in umgekehrter Reihenfolge an: NOT=λx.xfalsetrue=λx.x(λt.λf.f)(λt.λf.t)NOT=λx.xfalsetrue=λx.x(λt.λf.f)(λt.λf.t)NOT \;\;=\;\; \lambda x.\; x \; \mbox{false}\; \mbox{true} \;\;=\;\; \lambda x. \; x \; (\lambda t.\lambda f.f) \; (\lambda t. \lambda f. t ) und …
1
Großer Theta-Beweis für die Polynomfunktion
Dies sind keine Hausaufgaben. Ich habe die Lösung, aber es ist nicht das, was ich bekomme. Ich weiß, dass es mehrere Lösungen für das Problem gibt, aber ich möchte sicherstellen, dass mir nichts entgeht. Die Frage lautet wie folgt: Man beweise, dass 2 - 4n + 7 = Θ ( …
2
Können Sie eine Schnur auf einer Vanille-Turing-Maschine rechtzeitig umkehren?
Mit einer Vanille-Turing-Maschine meine ich eine Turing-Maschine mit einem Band (keine speziellen Eingabe- oder Ausgabebänder). Das Problem ist wie folgt: Das Band ist anfangs leer, abgesehen von einer Zeichenfolge von nnn 111s und 000s wird durch ein Zeichen am Ende der Zeichenfolge abgeschlossen. Der Bandkopf beginnt am Anfang der Zeichenfolge. …
2
Maschinen in P unentscheidbar?
Bei einer Turing-Maschine sagen wir, dass wenn die von der Maschine festgelegte Sprache von einer Maschine in Polynomzeit bestimmt werden kann. Wir sagen, dass wenn die Maschine in Polynomzeit läuft. Beachten Sie, dass es Maschinen geben kann, die unnötig lange laufen, aber dennoch eine Sprache in . Nach dem Satz …
2
Automatisiertes Lippenlesen: Ableiten, was jemand sagt, basierend auf dem Video, in dem er spricht
Einige Menschen können ziemlich gut Lippen lesen: Indem sie jemanden beobachten, der spricht, können sie sagen, was der Sprecher sagt (auch ohne die Rede zu hören). Wurde daran gearbeitet, Computersoftware zum Lippenlesen zu erstellen? Mit anderen Worten, ist es bei einem Video von jemandem, der spricht, möglich, Software zu erstellen, …
1
Beweis von Ramseys Theorem: Die Anzahl der Cliquen oder Anti-Cliquen in einem Diagramm
Ramseys Theorem besagt, dass jeder Graph mit nnn Knoten enthält entweder eine Clique oder eine unabhängige Menge mit mindestens 12log2n12log2⁡n\frac{1}{2}\log_2 n Knoten. Ich habe versucht, es an einigen Stellen nachzuschlagen (einschließlich Sipser), aber ich konnte aus den Beweisen nicht viel Sinn erkennen. Ich würde es begrüßen, wenn mir jemand einen …
2
Theoretische Grundlagen robuster und verteilter Dienste
Ich habe die Vorstellung eines sozialen Netzwerks, das robust gegen böswillige Angriffe von außen ist. Meine Vision ist ein System, das strukturell als verteiltes Netzwerk gleicher Server aufgebaut ist, die mit denselben Daten arbeiten und die gleichen Dienste anbieten. Benutzer sollten alle im selben Netzwerk interagieren, unabhängig von dem jeweiligen …
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.