A notional machine is a pedagogic device to assist the understanding of some aspect of programs or programming. To something along the lines of A notional machine is a pedagogical tool designed to support the understanding of programs, programming, and other aspects of computing such as databases.
