Educational abstract machines