Als «termination» getaggte Fragen

Wie groß ist die Wahrscheinlichkeit, dass dieser Code beendet wird?

Ich habe diesen Python-Code geschrieben und mich gefragt, ob er manchmal einfach nicht endet (vorausgesetzt, wir hatten unendlich viel Speicher / Zeit und keine Rekursionstiefenbegrenzung). Intuitiv würden Sie denken, dass es endet, da Sie irgendwann Glück haben müssen , und wenn es nicht endet, haben Sie unendlich viel Zeit, um …

10 trees probability-theory termination

Was sind die ausdrucksstärksten und terminierendsten Sprachen?

Ich interessiere mich weniger für Sprachen, in denen Sie fast alles schreiben können, aber dann müssen Sie einen begleitenden Beweis dafür schreiben, dass das, was Sie geschrieben haben, endet. Ich interessiere mich mehr für den Entwurfsraum von Sprachen, die von Natur aus konstruktionsbedingt auf bestimmte Komplexitätsklassen beschränkt sind. Gibt es …

7 programming-languages termination

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.