Synthesis of self-checking computing devices based on a complete system of special groups of the diagnostic object outputs