.so /home/dberry/usr/lib/tmac/tmac.X
.en
.LL 6.5i
.ls 1
.ds BL ''''
.hy 14
In any state-transition table and diagram,
\&\fCx\fP means any input other than that explicitly listed for the state
.sp
Each box in a state-transition table shows
.sp
Next_State \&\fC"output_string"\fP \fHassignments_to_variables\fP
.sp
in the Times-Roman, Courier, and Helvetica fonts respectively.
There are occasionally Boolean conditions, in the form
.sp
\fHboolean_expression\fP \(->
.sp
in the Helvetica font, that express conditions
under which different processing occurs. For any given box, the disjunction
of the conditions must be \fHTRUE\fP and their conjuction should
be \fHFALSE\fP. 
The condition is inserted where it begins to make a difference. For
example, if all conditions share the same Next_State but not the same
\&\fC"output_string"\fP and \fHassignments_to_variables\fP, then the
conditions are inserted after the one Next_State.