Además normalmente se usan como prueba de concepto en la creación de lenguajes de programación Turing completos.