Рассмотрена идентификация дискретных систем, сведенная к функциональной декомпозиции дискретных функций, где под декомпозицией понимается представление функции формулой в базисе бинарных операций. Описана процедура синтеза формул, основанная на вычислении бинарных операций. Даны как точные, так и асимптотические оценки сложности синтезируемых моделей.