抽象機械とVMは違う概念でしょうか