A method of synthesis of finite state automations of combined model AE (method À9)

<back>