[LABELLED TRANSITION SYSTEM] Architettura degli elaboratori

[Rsk]

Ragazzi ho bisogno d'aiuto per capire la semantica delle espressioni e delle micro operazioni.

Definiamo lo stato della macchina firmware
come una tripla (i,R,M), dove:

● i ∈ Nat è l'etichetta della microistruzione corrente
● R è lo stato di un insieme di registri di 16 bit
● M è lo stato di una memoria di 216
locazioni, ognuna contenente una parola di 16 bit

Formalmente, definiamo:
● Val: {0,1}16 (v,v',... ∈ Val)
● R: RegId → Val (A,B,Z,... ∈ RegId)
● M: Val → Val

Volevo sapere come si leggono gli schemi seguenti, anche un solo esempio, e cosa si intende per sostituzione nella seconda slide.