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