Notional Machines sind didaktische Modelle, die dabei helfen können, Programmiersprachen und weitere Gegenstände der Informatik zu verstehen. Hierbei handelt es sich um eine umfangreiche Sammlung solcher Notional Machines.