Máquina virtual simbólica
