Re: Эквивалентность программы на ЯП и кода на выходе компиля
От: Sinclair Россия https://github.com/evilguest/
Дата: 08.04.08 04:29
Оценка:
Здравствуйте, salog, Вы писали:

S>Тема реально философская. Как-то это можно сформулировать в математических терминах и возможно есть даже мат.теории на эту тему, но я не знаю как.

S>О чем речь.
S>Допустим вы что-то пишете на языке программирования типа С++. И вы точно знаете — если вы добавляете код в программу, то соответствующим образов в результирующем коде на выходе компилятора код будет практически пропорционально содержать кода (функций) больше. Если вы описываете функционирование программы как либо в ЯП, то в воплощенной программе функционирование (действия) как и структура (взаимосвязь) частей почти точно будут повторять те же взаимосвязи в исходнике.

S>Теперь представим ситуацию — исходники существуют сами по себе, а программа на выходе — не есть пассивная копия исходников, а как бы живет своей жизнью (притом разумной, хотя и не до конца контролируемой). Например, возможны "фазовые переходы": т.е. при нарастании кода в исходниках объемность кода и сложность структуры программы — взаимоотношеия частей — могут до какого то момента соответствовать исходникам, а потом после некоторого момента резко (фазово) перестаиваться и упрощать (или усложнять — при наличии собственной базы знаний у компилятора и ситуационного контекста) внутреннюю структуру самостоятельно (интеллектом компилятора).

S>Или другой пример (хотя речь идет о том же самом): исходники могут задавать сколь угодно сложную взаимосвязь частей, а результирующий код будет содержать эквивалентную по функциям, но ИНУЮ (не обязательно упрощенную) структуру взаимосвязи и функционирования.
S>Что то подобное работает при оптимизации кода, логических выражений булевой алгебры, но я задаюсь "проблемой" распростарнения этого подхода на функциональную структуру в целом.

S>Жду любых соображений...

Соображение №1: попробуй упорядочить свои мысли. Что такое, к примеру, "функциональая структура"? Чего именно ты хочешь добиться? Распространение подхода — это не проблема. Какую именно проблему ты хочешь решить?
... << RSDN@Home 1.2.0 alpha rev. 677>>
Уйдемте отсюда, Румата! У вас слишком богатые погреба.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.