Category:Computational models

From Esolang
Jump to navigation Jump to search

Models of computation. Many of these are formalisms which can be used (to some extent) to compare and describe esoteric (and other) programming languages.

Wang tiles, Hilbert's Tenth Problem and Petri nets are models of computation which are not yet on this list.