[an error occurred while processing this directive]
Так вроде же доказано, что в постановке "оптимизация любого формально заданного алгоритма под любую формально заданную выч. среду" задача алгоритмически решена быть не может ?
(«Телесистемы»: Конференция 'Программируемые логические схемы и их применение')