Category:Total

From Esolang
Jump to navigation Jump to search

A total programming language is one in which all programs are guaranteed to terminate. As such, such languages are not Turing complete. It is also impossible to implement a self-interpreter in a total programming language Some total esolangs, like Nope. and Permission denied have self interpreters, and they have infinite number of them , because combined with quines that would allow you to create a non-terminating program in the form on an infinite loop. Nevertheless, total languages can still be quite powerful, with some actual languages being total. Programs that need to continue running can use techniques from total languages to prevent from hanging.

One way to convert a Turing complete programming language into a total programming language is to require programs to have a proof that they always halt. Such proof may be attached to their source code.

Pages in category "Total"

The following 200 pages are in this category, out of 326 total.

(previous page) (next page)

&

+

;

?

(previous page) (next page)