Расследуя "дело" Бома-Якопини, я нашел интересную работу Харлана Миллса.
Конечно, все знают, кто такой Harlan D. Mills (1919-1996).
А если кто забыл, вот статья в Википедии
http://en.wikipedia.org/wiki/Harlan_MillsА вот список его работ
http://www.informatik.uni-trier.de/~ley ... an_D=.html_______________________________________________
Вот обещанная работа Миллса.
http://trace.tennessee.edu/cgi/viewcont ... 0harlan%22Цитата:
MATHEMATICAL FOUNDATIONS FOR STRUCTURED PROGRAMMING
by Harlan D. Mills
February 1972
В этой работе дается ответ на два вопроса:
1. Что такое теорема Бома-Якопини?
2. Что такое структурная теорема?
ТЕОРЕМА БОМА-ЯКОПИНИНа стр. 4 Харлан Миллс пишет:
Цитата:
a ''Structure Theorem'', due in original form to Bohm and Jacopini,
guarantees that any flowchartable program logic can be represented by
expansions of as few as three types of structures, e.g., (1) f THEN g,
(2) IF p THEN f ELSE g, (3) WHILE p DO f, where f, g, are flowcharts ,
with one input and one output, p is a test, THEN, IF, ELSE, WHILE, DO,
are logical connectives.
Перевод:
Цитата:
Структурная теорема, сформулированная Бомом и Якопини,
гласит: любая программа, заданная в виде блок-схемы, может быть представлена с помощью трех типов структур:
(1) f THEN g,
(2) IF p THEN f ELSE g,
(3) WHILE p DO f,
где f, g это блок-схемы с одним входом и одним выходом,
р это проверка,
THEN, IF, ELSE, WHILE, DO это логические связки.
СТРУКТУРНАЯ ТЕОРЕМА ХАРЛАНА МИЛЛСАНа стр. 31 Харлан Миллс формулирует и доказывает свою собственную структурную теорему:
Цитата:
STRUCTURE THEOREM
Any proper program is equivalent to a program whose formula contains at
most the graph labels BLOCK, IFTHENELSE, and DOUNTIL, and additional
functions TRUE, FALSE, POP and predicate function TOP.
где BLOCK — это последовательность, или цепочка.
Остальные обозначения Харлан Миллс дает на стр. 28.
ВЫВОДЫ1. Харлан Миллс использует термин (вводит понятие) "Структурная теорема" (STRUCTURE THEOREM).
2. Он применяет это понятие как для теоремы Бома-Якопини, так и для своей собственной теоремы.
3. Обе теоремы близки по смыслу, хотя и не совпадают.
4. Харлан Миллс опубликовал свою работу в качестве отчета фирмы IBM в 1972 году, то есть на 4 года позже, чем Бом и Якопини.
5. Миллс в явной форме ссылается на Бома-Якопини как на оригинал. Он, в частности, пишет:
Цитата:
a ''Structure Theorem'', due in original form to Bohm and Jacopini
6. Структурную теорему Миллса можно рассматривать как развитие и обобщение теоремы Бома-Якопини.
7. Роль Харлана Миллса в Википедии в статье Structured Programming оценена высоко
Цитата:
Structured programming theorists gained a major ally in the 1970s after IBM researcher Harlan Mills applied his interpretation of structured programming theory to the development of an indexing system for the New York Times research file.
The project was a great engineering success, and managers at other companies cited it in support of adopting structured programming, although Dijkstra criticized the ways that Mills's interpretation differed from the published work.
http://en.wikipedia.org/wiki/Structured_programming 8. Можно предположить, что термин "Structured program theorem" произошел от термина Миллса "Structure theorem"
http://en.wikipedia.org/wiki/Structured_program_theorem===================================
Уважаемые коллеги!
Если Вы обнаружите ошибку или неточность в моем сообщении, просьба меня поправить.
Спасибо
Вход
FAQ
Поиск
(цит. по: Свердлов С.З. 
Для адекватного гражданина сочинителя (ну или хотя бы опасающегося последствий, указанных Голубицким 
