Method À11 is intended for check of outcomes of synthesis of finite
state automations. Check of outcomes of synthesis of finite state
automations A11 consists of two stages:
1) Constructions of a standard sequence of test vectors on exposition
of the initial finite state automation;
2) Checks of operation of the synthesized finite state automation.
Construction of a standard test sequence is reduced to finding minimum number of outlines of the graph of the finite state automation, starting in initial top so that each top and each arc of the graph was constructed at least once.