|
|
|
|
|
|
|
|
|
Синтез программ индуктивный
Глоссарий по искусственному интеллекту |
Автоматический синтез программ опирающийся на нахождение общих для заданного множества примеров процедур, ведущих к решению задачи. с.п.и. может осуществляться на синтаксическом уровне, когда используются внешние признаки программ, или на семантическом уровне, когда в основе лежит семантика модели программы.
|
|
Автоматический, русский
- ~ key management автоматическое управление ключами
- Self-acting discharge valve
Нахождение, русский
Осуществляться, русский
Осуществляться , исполняться
|
Синтез программ трансформационный, русский
Автоматический синтез программ, в котором конструирование программы осуществляется последовательным преобразованием исходной спецификации в эквивалентную ей результирующую программу. с.п.т. обычно разбивается на следующие этапы: переход от формальной спецификации к рекурсивной версии программы общего вида; трансформация общерекурсивной версии в рекурсивную версию специального вида; переход от рекурсивной версии к итеративной версии.
Синтез программ дедуктивный, русский
Автоматический синтез программ в котором используется формальный метод построения программ; вывод программы из заданной спецификации рассматривается как задача конструктивного доказательства существования нужного решения. в ходе реализации с.п.д. часто используются методы автоматического доказательства теорем в исчислении предикатов первого порядка.
|
|
|
|
|
|
|