Processador abstrato