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,...

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...