Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Wie zeige ich, ob ein PDA eine Zeichenfolge akzeptiert
Wie zeige ich, dass das Problem der Entscheidung, ob ein PDA eine Zeichenfolge der Form akzeptiert, unentscheidbar ist?{w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} Ich habe versucht, dieses Problem auf ein anderes unentscheidbares zu reduzieren, z. B. ob zwei kontextfreie Grammatiken dieselbe Sprache akzeptieren. Ich bin mir jedoch …
3
Der Nachweis, dass die Sprache, die aus allen Zeichenfolgen in einer Sprache besteht, dieselbe Länge hat wie eine Zeichenfolge in einer anderen Sprache, ist normal
Ich kratzte mich jetzt seit ein paar Tagen am Kopf über dieses Problem. Zeigen Sie bei einer regulären Sprache AAA und , dass die Sprache die aus allen Zeichenfolgen in deren Länge einer Zeichenfolge in B entspricht, eine reguläre Sprache ist.L A B.BBBLLLAAABBB In Gleichungsform: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L …
3
Ermitteln der Höhe aller Knoten in einer Gesamtstruktur
Ich habe einen Wald, dh Knoten mit gerichteten Kanten und keinen Zyklen (gerichtet oder ungerichtet). Ich definiere die Höhe eines Scheitelpunkts vvv als 0, wenn er keine eingehenden Kanten hat, oder die maximale Anzahl von Kanten, die umgekehrt verfahren werden müssen, um einen Scheitelpunkt der Höhe 0 zu erreichen. Ich …
4
Verschachtelte große O-Notation
Angenommen, ich habe ein Diagrammmit Kanten. Ich möchte BFS auf ausführen, das eine Laufzeit von .|G||G||G||E|=O(V2)|E|=O(V2)|E|=O(V^2)GGGO(V+E)O(V+E)O(V+E) Es fühlt sich natürlich an zu schreiben, dass die Laufzeit in diesem Diagramm und dann zu vereinfacht wird .O(O(V2)+V)O(O(V2)+V)O(O(V^2)+V)O(V2)O(V2)O(V^2) Gibt es Fallstricke bei der Verwendung einer solchen Verknüpfung zum Entfernen des verschachtelten O (nicht …
1
Bei welchen Größen schlägt der schnelle Computer mit einem langsamen Algorithmus bei einem schnellen und einem langsamen Computer den langsamen Computer mit einem schnellen Algorithmus?
Die Quelle dieser Frage stammt aus einem Grundstudiengang, der eine Einführung in die Analyse von Algorithmen umfasst. Dies ist keine Hausaufgabe, sondern eine in CLRS gestellte Frage. Sie haben eine langsame Maschine mit MIPS und eine schnelle Maschine mit y MIPS. Sie haben auch zwei Algorithmen derselben Klasse, aber unterschiedliche …
3
Schaltungsgröße für "mindestens n Eingänge sind wahr"
Angenommen, Sie haben boolesche Eingaben und erhalten einen Schwellenwert . Sie müssen eine boolesche Schaltung erstellen, die als wahr ausgewertet wird, wenn mindestens der Eingänge wahr sind. Sie können AND-, OR-, NOT- oder XOR-Gatter verwenden (beschränkt auf Fan-In 2 mit willkürlichem Fan-Out). Asymptotisch wie klein können Sie diese Schaltung machen?mmmnnnnnn …
1
Formale Beschreibung einer neuen domänenspezifischen Programmiersprache
Ich bin dabei, eine domänenspezifische Sprache zur Darstellung sozialer Lernkonventionen zu implementieren. Teil der Implementierung ist eine formale Beschreibung einer Sprache - ihrer 'Analysis', Symbole und logischen Ausdrücke. Mein Ansatz wäre es, die Sprache durch Beschreibung ihrer Grammatik zu beschreiben, aber es gibt auch Konzepte wie Beziehungen, Dialoge, Erwartungen, die …
4
Was bedeutet "Dummy-Argument"?
Was bedeutet es, wenn ein Argument für eine Funktion als Dummy-Argument bezeichnet wird ? Ich bin diesem Begriff außerhalb von Fortran nicht begegnet. Ist er ein allgemeiner Begriff in der Informatik? Was wären Beispiele für Argumente, die als Dummy übergeben und nicht als Dummy übergeben werden? Ich habe diese Definition …
1
Wie kann gezeigt werden, dass die Gruppe von Maschinen, die Sprachen in akzeptieren , nur dann entscheidbar ist, wenn ?
Ich möchte Ihre Hilfe beim Nachweis, dass die Sprache ist entscheidbar, wenn .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Wenn , ich, dass es die Sprache leerer Turing-Maschinen ist. So ist ein Problem - aber das ist nicht das, was gefragt wird ist, so habe ich verwirrt.P=NPP=NP\mathrm{P}=\mathrm{NP}LLLco-REco-RE\text{co-RE} Ich …
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.