Definition:Trace Table

Definition
Let $P$ be a URM program.

The trace table of $P$ consists of:
 * The stage of computation;
 * The number of the instruction of $P$ that is about to be performed;
 * A list of the contents of all the registers used by $P$ at this point.

Thus the trace table is a list of the states of the URM program at each stage.

Example
For example, consider the following URM program:

Let it have the following input:


 * $r_1 = 7$
 * $r_2 = 2$

It has the following trace table: