Als «terminology» getaggte Fragen

Fragen zu Definitionen, Begriffen und gebräuchlichen Namen in der theoretischen Informatik.

6
Reguläre Ausdrücke sind es nicht
Fragen Sie sogar jemanden mit einem Hintergrund in der Informatik, was ein regulärer Ausdruck ist, und die Antwort geht wahrscheinlich über die Beschränkung hinaus, in Reichweite eines Automaten mit endlichen Zuständen zu sein. Zum Beispiel der "reguläre Ausdruck" /^1?$|^(11+?)\1+$/ Erstellt von der bekannten Perl-Persönlichkeit Abigail (und Teil von Perls Testsuite …
1
Constraint-Zufriedenheitsproblem (CSP) vs. Erfüllbarkeitsmodulo-Theorie (SMT); mit einer Coda zur Constraint-Programmierung
Traut sich jemand zu klären, in welchem ​​Verhältnis diese Fachrichtungen zueinander stehen, oder gibt er vielleicht auf der Ebene der Probleme eine konkretere Antwort? Wie welche beinhaltet welche unter der Annahme einiger weithin akzeptierter Formulierungen. Wenn ich das richtig verstanden habe, betreten Sie beim Wechsel von SAT zu SMT im …
2
Ursprünge und Anwendungen von Theorie A vs Theorie B?
In einigen kürzlich gestellten Fragen ( q1 q2 ) wurde "Theorie A" gegen "Theorie B" diskutiert, um die Kluft zwischen dem Studium von Logik und Programmiersprachen und dem Studium von Algorithmen und Komplexität zu erfassen. Diese Terminologie war für mich neu, und bei einer schnellen Websuche wurden keine offensichtlichen Verweise …
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 …
3
Gibt es einen Namen für "physikalische Dinge, aus denen man eine Turing-Maschine bauen kann"?
Eines der erstaunlichen Dinge in der Informatik ist, dass die physikalische Implementierung in gewisser Weise "irrelevant" ist. Die Menschen haben erfolgreich Computer aus mehreren unterschiedlichen Substraten gebaut - Relais, Vakuumröhren, diskrete Transistoren usw. Die Menschen könnten bald erfolgreich Turing-Computer aus nichtlinearen optischen Materialien, verschiedenen Biomolekülen und einigen anderen Substraten bauen. …
4
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen: …
1
Wie kann ein Problem in NP sein, NP-hart und nicht NP-vollständig?
Die längste Zeit habe ich gedacht, dass ein Problem NP-vollständig ist, wenn es sowohl (1) NP-schwer als auch (2) NP ist. In der berühmten Veröffentlichung "Die Ellipsoidmethode und ihre Konsequenzen für die kombinatorische Optimierung" behaupten die Autoren jedoch, dass das Problem der fraktionalen chromatischen Zahl zu NP gehört und NP-hart …
1
Äquivalente Definitionen der Zeitkonstruierbarkeit
Wir sagen , daß eine Funktion f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} ist zeit konstruierbar , wenn es ein deterministisches Mehrbandturingmaschine existiert MMM daß an allen Eingängen der Länge nnn Fabrikate höchstens f(n)f(n)f(n) Schritte und für jeden nnn dort eine Eingabe besteht aus Länge nnn auf der MMM genau f(n)f(n)f(n) Schritte macht. Wir sagen, dass …
1
Was ist "Pseudozeit" im Vergleich zu Semaphoren?
Ich höre gerade Alan Kays 'Vortrag "Ist es wirklich komplex oder haben wir es nur kompliziert gemacht?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) wo er sagt, dass "Semaphoren eine schlechte Idee waren und es eine sogenannte Pseudozeit gab, die überlegen war" (um 51:40 im verlinkten Video). Vielleicht habe ich das Wort "Pseudozeit" falsch …
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.