The synthesis of discrete devices with account taken of the convenience of checking their technical state

A way to update the flowchart functions of the initial automaton over a letter added to its input alphabet is indicated at which a strongly connected automaton is obtained which simulates the initial one and has a diagnostical sequence of minimal feasible length.