Dalam sains komputer, mesin maya merupakan mesin yang bukan wujud secara fizikal tetapi ia adalah berkonsep sebarang perisian atau larian aturcara (any running program). Setiap mesin maya mempunyai bahasa mesin tersendiri yang mengandungi semua arahan-arahan yang boleh dilaksanakan oleh mesin maya.