Tag systems

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