RAM : introduction

Modèle de machine
RAM

Pour introduire la notion de programme P, on présente un autre type de machine (autre que Turing), la machine à registres (RAM : random access machine)

Notations:

Les registres de données: X₁,X₂, X₃, ....
Le registre de résultat: Y
Les registres de travail: Z₁, Z₂, Z₃, ...
Les étiquettes: A₁, B₁, C₁, D₁, E₁, A₂, B₂, ...

Instruction de langage:

incrémentation: VV+1
décrémentation:VV-1
instruction conditionnelle: IF V0 GOTO L
arrêt du programme: STOP

Exemple:

Macro pour calculer la fonction f(x1,x2)=x1+x2

YX1

ZX2

[B] IF Z0 GOTO A

GOTO E

[A] ZZ-1

YY+1

GOTO B

[E] STOP

Exercice:

Construire la macro qui calcule f(x₁,x₂)=x₁-x₂si x₁x₂ et non-définie sinon.

	`YX1`
	`ZX2`
`[B]`	`IF Z0 GOTO A`
	`GOTO E`
`[A]`	`ZZ-1`
	`YY+1`
	`GOTO B`
`[E]`	`STOP`