In seiner Werkstattarbeit "Ein metrisches Modell der PCF" von 1999 zeigte Martín Escardó, dass es möglich ist, PCF in der Kategorie der vollständigen ultrametrischen Räume und nicht expansiven Karten einfach zu interpretieren.
Er zeigte, dass dieses Modell angemessen war und dass es die Hinzufügung eines Timeout-Konstrukts modellieren konnte (dh eines Operators, der sein Argument für eine endliche Anzahl von Schritten ausführte und entweder eine Antwort lieferte oder einen Fehler signalisierte, wenn es nicht innerhalb endete das Zeitlimit). Er schlug dann vor, dass es natürlich wäre zu untersuchen, ob das metrische Modell in Bezug auf PCF + -Zeitüberschreitungen vollständig abstrakt ist.
- Hat jemand dies untersucht und wenn ja, wie lautet die Antwort?
- Erkennen PCF + -Zeitüberschreitungen dieselben Funktionen wie Turing-Maschinen, auch bei höheren Typen?
(Nebenbei bemerkt, wie setzen Sie Akzente in den Text? Ich habe einen Akzent sowohl von seinem Vor- als auch von seinem Nachnamen entfernt. BEARBEITEN: Name behoben. Ich lasse diese Klammer in, damit die Kommentare zum Beitrag weiterhin gemacht werden Sinn.)