A method of synthesis of finite state automations of combined model BF (method À10)
Method À10 of synthesis of the combined model of automata of BF class coincides with method A9 for automata of AE class in case of its application to automata such as Moore. For coercion of the initial finite state automation to an automaton such as Moore in method À10 decomposition of inwardnesses is used.