Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

3
Wie ist diese Grammatik LL (1)?
Dies ist eine Frage aus dem Drachenbuch. Das ist die Grammatik: S→AaAb∣BbBaS.→EINeinEINb∣B.bB.einS \to AaAb \mid BbBa B → εA→εEIN→εA \to \varepsilon B→εB.→εB \to \varepsilon In der Frage wird gefragt, wie gezeigt werden kann, dass es sich um LL (1) handelt, nicht jedoch um SLR (1). Um zu beweisen, dass es …
2
Dijkstra-Algorithmus vs Breite erste Suche nach dem kürzesten Pfad im Diagramm
Ich habe diese Frage in StackOverflow gestellt. Ich wurde gebeten, hier einzuziehen. hier ist es also: Ich brauche einige Klarstellungen und Eingaben bezüglich des Dijkstra-Algorithmus im Vergleich zur Breitensuche in gerichteten Graphen, wenn diese korrekt sind. Der Dijkstra-Algorithmus findet den kürzesten Weg von Knoten Azu Knoten Fin einem gewichteten Diagramm, …
2
Eine Sprache mit irrationaler Zahl ist keine CFL
Ich arbeite an einer harten Übung in einem Lehrbuch und kann einfach nicht herausfinden, wie ich vorgehen soll. Hier ist das Problem. Angenommen, wir haben die Sprache wobei eine irrationale Zahl ist. Wie würde ich beweisen, dass keine kontextfreie Sprache ist?L={aibj:i≤jγ,i≥0,j≥1}L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq …
2
Zusammenfluss der Beta-Erweiterung
Let sein -Reduktion in dem Kalkül. Definieren Sie -expansion durch .→β→β\to_\betaββ\betaλλ\lambdaββ\beta←β←β\leftarrow_\betat′←βt⟺t→βt′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' Ist konfluent? Mit anderen Worten, haben wir das für jedes , wenn , dann existiert so, dass ?←β←β\leftarrow_\betal,d,rl,d,rl,d,rl→∗βd←∗βrl→β∗d←β∗rl \to_\beta^* d\leftarrow_\beta^* ruuul←∗βu→∗βrl←β∗u→β∗rl\leftarrow_\beta^* u \to_\beta^* r Schlüsselwörter: Aufwärtskonfluenz, verkehrte CR-Eigenschaft Ich begann mit einem Blick auf die …
5
Lambda-Kalkülgenerator
Ich weiß nicht, wo ich diese Frage sonst stellen soll, ich hoffe, das ist ein guter Ort. Ich bin nur neugierig zu wissen, ob es möglich ist, einen Lambda-Kalkülgenerator herzustellen. Im Wesentlichen eine Schleife, die bei unendlicher Zeit jede mögliche Lambda-Kalkülfunktion erzeugt. (wie in Form einer Zeichenfolge). Da der Lambda-Kalkül …
2
Wie kann man abhängig typisierte Eliminatoren ableiten?
Bei der abhängig typisierten Programmierung gibt es zwei Hauptmethoden zum Zerlegen von Daten und Durchführen einer Rekursion: Abhängiger Mustervergleich : Funktionsdefinitionen werden als Mehrfachklauseln angegeben. Die Vereinheitlichung stellt sicher, dass alle ausgelassenen Fälle unmöglich sind, und ein externer Löser stellt sicher, dass die Rekursion begründet ist. Eliminatoren : Jedem induktiven …
3
Was bedeutet "Karte"?
Ich bin dem Begriff in verschiedenen CS-Lehrmaterialien oft begegnet: L2 CS162 (UC Berkeley): Speicherzugeordnete E / A. L4 CS162 (UC Berkeley): Speicherzugeordnete Dateien L24 CS61 (UC Berkeley): "Speicherzugeordnete E / A": Gerätesteuerung / Datenregister, die dem CPU-Adressraum zugeordnet sind Selbst nachdem ich "Mapping" gegoogelt hatte , bekam ich den Artikel …
1
Ist genetische Programmierung heute relevant?
Mein Hauptanliegen ist, ob die genetische Programmierung ein aktives Forschungsfeld mit einigen vielversprechenden Anwendungen in der Praxis ist. Es scheint, als ob im Bereich des maschinellen Lernens die neuronalen Netze das Hauptwort sind, mit Erwähnungen in den heutigen Mainstream-Nachrichten, aber ich habe noch nie von einer ähnlichen genetischen Erfolgsgeschichte der …
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.