Move
Definition: Let c, c’ be two configurations of M. Then,  M makes a move from c to c’ according to a rule r, written as c |– c’ [r] or, simply, c |– c’ if
c |–X c’ [r] for some X Î {S, R, L}.
12/45