Una Macchina Nozionale per Architetture dei Calcolatori come possibile collegamento tra gli insegnamenti del primo anno della laurea in Informatica

In questo articolo presentiamo un esperimento basato sull’adozione del modello RAM di Cook e Reckhow come macchina nozionale per introdurre il linguaggio macchina RISC-V e di un linguaggio visuale a blocchi per avvicinare i novizi ai concetti di base dell’assembler e delle architetture di calcolo. L’esperimento si `e tenuto nella prima parte del corso di Ar chitetture dei Calcolatori nell’anno accademico 2022/23 con 320 studenti con conoscenze molto eterogenee. La scelta di combinare RISC-V, modello RAM e linguaggio a blocchi `e stata dettata dal tentativo di adottare una macchina nozionale in grado di rappresentare i concetti di base di architetture load-store anche per novizi e dalla quale poter ricostrui re i costrutti che nel corso di Introduzione alla Programmazione venivano nel frattempo presentati attraverso il C++.