The new models of finite-automaton type and automaton modelling methods for modelling of the new class finite-valued random sequences and also the development of the methodology for hardware-software organization of the probabilistic automata have been developed. The new designs and proposals on the synthesis of the processors, equipment prototypes, board of the specialized co-processor and algorithms for technical diagnostics of the digital devices have been developed. The specialized devices of the computer engineering and diagnostic algorithms of the digital devices have been introducedAvailable from VNTIC / VNTIC - Scientific & Technical Information Centre of RussiaSIGLERURussian Federatio