Die Komplexität des Kolmogorov-Präfixes (dh ist die Größe des minimalen selbstbegrenzenden Programms, das ausgibt ) weist mehrere nette Merkmale auf:K(x)K(x)K(x)xxx Es entspricht einer Intuition, Strings mit Mustern oder Strukturen eine geringere Komplexität zu geben als Strings ohne. Es erlaubt...
Können Sie zuverlässige Sendungen im Pi-Kalkül modellieren? Wenn das so ist, wie? Wenn nicht: Gibt es ähnliche Prozessalgebren, wo Sie können? Was ich ausprobiert habe: Wenn der Absender eine Nachricht an alle bis senden möchte , können Sie schreiben ! ( und bis . Aber wie können Sie sicherstellen,...
Ich fand, dass markierte Übergangssysteme ein gutes Modell für meine Anwendung sind. Es gibt nämlich einen Artikel über die Modellierung von Anwendungsfällen mithilfe von LTS. Die Frage ist, was kann über LTSs leicht bewiesen werden? Ich möchte vorhandene Lösungen wiederverwenden, um festzustellen,...
Ich übersetze ein Buch über LISP und es berührt natürlich einige Elemente des Kalküls. Daher wird dort neben einigen Modellen des λ- Kalküls ein Begriff der Extensionalität erwähnt , nämlich: P ω und D ∞ (ja, mit der Unendlichkeit oben). Und es wird gesagt, dass P ω eine Dehnung ist, während D ∞...
Ich besitze ein Buch, das, inspiriert von Russells Principia Mathematica (PM) und dem logischen Positivismus, versucht, einen bestimmten Bereich zu formalisieren, indem es Axiome bestimmt und daraus Theoreme ableitet. Kurz gesagt, es wird versucht, für seine Domäne das zu tun, was PM für die...
Ich suche nach Beispielen für schwierige Probleme (in NP oder schwieriger) aus der Informatik, die auf Modelle physikalischer Prozesse reduziert werden können. Zum Beispiel kann max-2-sat in einem Ising-Modell auf Energieminimierung reduziert werden. Ich würde gerne weitere Beispiele für diese Art...
Dies ist eine Frage, die ich im Forum der Mathematik-SE gestellt habe und auf die ich hier verwiesen wurde. Also hier ist die Frage- Ich bin ein Neuling sowohl in der formalen Mathematik als auch in der theoretischen Informatik. Bitte nehmen Sie Kontakt mit mir auf, wenn Sie feststellen, dass meine...
Ist jemandem ein prozessalgebraischer (oder verwandter) Formalismus bekannt, der feinkörnige Standortinformationen erfasst? Ich bin mit Umgebungen und Bigraphen vertraut, die offensichtlich ein Standortmodell haben, aber was ist mit Versuchen, konkretere Standortinformationen so zu modellieren,...