Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Sind Typen Aussagen? (Was genau sind Typen?)
Ich habe viel über Typsysteme und dergleichen gelesen und verstehe ungefähr, warum sie eingeführt wurden (um Russels Paradoxon zu lösen). Ich verstehe auch in etwa deren praktische Relevanz in Programmiersprachen und Proofsystemen. Ich bin jedoch nicht ganz sicher, dass meine intuitive Vorstellung, was ein Typ ist, richtig ist. Meine Frage …
3
Was ist der Unterschied zwischen dem Umschreiben von Begriffen und dem Anpassen von Mustern?
Da es bei Lambda the Ultimate keine Antwort gab, versuche ich es hier noch einmal: Term Rewriting-Systeme werden beispielsweise in automatisierten Theoremen verwendet, um eine symbolische Berechnung zu beweisen und natürlich formale Grammatiken zu definieren. Es gibt einige Programmiersprachen, die auf dem Umschreiben von Begriffen basieren, aber nach meinem Verständnis …
11
Ein Beispiel, bei dem die Äquivalenz einfach ist, es jedoch schwierig ist, einen Klassenvertreter zu finden
Angenommen, wir haben eine Klasse von Objekten (z. B. Graphen, Zeichenfolgen) und eine Äquivalenzbeziehung für diese Objekte. Bei Diagrammen kann dies ein Isomorphismus sein. Für Zeichenfolgen können zwei Zeichenfolgen als äquivalent deklariert werden, wenn sie Anagramme voneinander sind. Ich interessiere mich für die Berechnung eines Vertreters für eine Äquivalenzklasse. Das …
1
Zufälliger, sich selbst vermeidender Gitterzyklus innerhalb eines gegebenen Begrenzungsrahmens
Im Zusammenhang mit dem Slither-Link- Puzzle habe ich mich gefragt: Angenommen, ich habe ein Gitter aus quadratischen Zellen, und ich möchte einen einfachen Zyklus von Gitterkanten finden, der unter allen möglichen einfachen Zyklen gleichmäßig zufällig ist.n×nn×nn\times n Ein Weg, dies zu tun, wäre, eine Markov-Kette zu verwenden, deren Zustände Mengen …
6
Warum sollte ein TCS-Forscher eine Finanzierung benötigen?
Ich lese diese . Es sagt ... Sie werden nicht so hungrig nach Geldern wie Pure Mathematics sein. (Sie werden immer noch hungern nach Geld.) ... Warum brauchen reine Mathematiker finanzielle Unterstützung? Warum sollte jemand, der theoretische Forschung betreibt, Finanzmittel benötigen? Ich denke, Handelsinstrumente sind Papiere, Stifte, ein Laptop mit …
5
Einen Analysewald von einem Earley-Parser wiederherstellen?
Ich habe kürzlich den Earley-Parser gelesen und denke, er ist einer der elegantesten Algorithmen, die ich bisher gesehen habe. Der Algorithmus im herkömmlichen Sinne ist jedoch ein Erkenner und kein Parser. Dies bedeutet, dass er erkennen kann, ob eine Zeichenfolge mit einer bestimmten CFG übereinstimmt, aber keinen Analysebaum für diese …
2
Kontextsensitive Grammatiken und Typen
1) In welcher Beziehung stehen statische Typisierung und formale Grammatik? 2) Wäre es insbesondere für einen linear begrenzten Automaten möglich, zu überprüfen, ob beispielsweise ein C ++ - oder SML-Programm gut typisiert war? Ein verschachtelter Stapelautomat? 3) Gibt es eine natürliche Möglichkeit, statische Schreibregeln in formalen Grammatikbegriffen auszudrücken?
4
Was ist die "kleinste" Komplexitätsklasse, für die eine superlineare Schaltungsgrenze bekannt ist?
Entschuldigung für die Frage, die sicherlich in vielen Standardreferenzen enthalten sein muss. Ich bin neugierig auf genau die Frage im Titel, insbesondere denke ich an Boolesche Schaltkreise, die keine Tiefe haben. Ich habe "kleinste" in Anführungszeichen gesetzt, um die Möglichkeit zu berücksichtigen, dass es mehrere verschiedene Klassen gibt, von denen …
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.