2 Синтез автоматів з пам'яттю