Category:Computational models

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.