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.
This category has only the following subcategory.
Pages in category "Computational models"
The following 26 pages are in this category, out of 26 total.