추상기계,abstract_machine