Tag systems
A
tag system
is a certain
turing-equivalent
computational system.