Un diseño para un procesador que no es de aplicación, pero que representa un modelo para el procesamiento de un lenguaje intermedio, llamado lenguaje de máquina abstracta, utilizado por un intérprete o compilador. Su conjunto de instrucciones puede utilizar instrucciones que más asemejan el lenguaje compilado que las instrucciones que utiliza un ordenador real. También puede ser utilizado para hacer la puesta en práctica de la lengua más portable a otras plataformas.