The design of checking experiments for sequential machines
which do not initially have a distinguishing sequence is investigated.
Improvem,Jnts are suggested to an existing method for
augmenting the output logic so that the machine acquires homogeneous
distinguishing sequences. To indicate how the procedure
may be implemented on a computer, elements...
The methodology of structured programming has
enabled rapid progress in many areas of theoretical
computer science. Structured programs are generally
easier to debug, test, prove and analyse. The development
of these achievements into commercially viable applications
and products has been slower than expected.
The primary reason is that most of...