Beim Programmiereinstieg treten häufig Fehlvorstellungen über grundlegende Programmierkonzepte, beispielsweise Variablen, auf. Notional Machines (NMs) dienen als didaktisches Hilfsmittel, um das Verständnis von Aspekten der Programmierkonzepte zu fördern. Bisherige Forschungsarbeiten lassen darauf schließen, dass sie vorhandenen Fehlvorstellungen nicht nur entgegenwirken, sondern diese auch verstärken oder neue Fehlvorstellungen aufbauen können. Dies unterstreicht die Notwendigkeit didaktisch rekonstruierter NMs. Diese Arbeit untersucht drei exemplarische NMs für das zugrundeliegende Variablenkonzept im Programmieranfangsunterricht mit Scratch: Variable als Box, Variable als Parkplatz und Trace-Tabellen. Sie diskutiert, inwieweit diese NMs fachlich korrekte Vorstellungen fördern oder spezifische Fehlvorstellungen verstärken bzw. aufbauen können.