Se puede considerar esta representación intermedia como un programa para una máquina abstracta.