Builds a bridge between computer hardware and software based on the idea of equivalence between a hard-wired logic system (hardware) and a microprogram (software); this equivalence, which at the mathematical level rests on the concept of the algorithm, is exhibited by means of one preferred representation the binary decision tree. A translation of the French edition of 1990. Distributed by VNR. Annotation copyright Book News, Inc. Portland, Or.