Choice of a method of synthesis of the finite state automation (method À12)
Method À12 of choice of the most approaching method of synthesis of the finite state automation allows to select a method of the synthesis providing minimum cost of implementation on the basis of absolute properties of the finite state automation. Absolute properties of the finite state automation are defined(determined) on the basis of sets AA, AB, AC, AD, AE and AF inwardnesses of finite state automations of A , B, C, D, E and F classes accordingly. Minimum cost of implementation is ensured with choice of a method of synthesis at which the number of the inwardnesses encoded with usage of separate bits of the code is minimum.