listed as ordered pairs &lt;p_i, q_j&gt;, where p_i may be read
as a temporal parameter that indicates the present time of the state, and
where j is the decimal equivalent of the binary numeral 's'.  Informally
and more casually, the Tables exhibit the states q_s as subscripted
with the numerators of their rational indices, taking for granted
the constant denominators of 2^m = 2^4 = 16.  Within this set-up,
the temporal successions of states can be reckoned as given by
a kind of &quot;parallel round-up rule