Введение
Глава 1 Синтез программы, не содержащей циклов. 28
1. Построение программы по полной системе примеров 31
2. Построение программы по неполной систе ме примеров 43
3. Итерационный метод построения программы в интерактивном режиме 49
4. Построение программы по примерам с опущенными предикатами 55
Глава 2 Синтез циклов 67
1. Построение цикла по одному исходному примеру 68
2. Построение цикла по совокупности примеров 84
3. Построение программы вида вход, AI, А2,,АК, Ц, выход 90
4. Построение цикла по размеченным примерам 93
5. Синтез кратных циклов 96
Глава 3 Эксперименты по синтезу программ . 103
1. Экспериментальная система синтеза. 103
2. Результаты экспериментов 106
Заключение 108
Список литературы 110
Приложение 114
