pavelser сказал(а) 02 Дек 2022 - 12:30:
совокупность данных и команд
предназначенных для функционирования ЭВМ и других компьютерных устройств в целях получения определенного результата
Заранее как знать, что это совокупность данных и команд для определенного результата? Как вообще заранее знать, что это именно совокупность данных и команд, а не билеберда? Это все решает как раз компьютерное устройство, а не человек.
Ну то есть, если есть сомнения, то что дальше? Экспертиза? А вопрос какой - совокупность ли это данных и команд, приводящих к определенному результату? Ну и ответ будет "похоже вроде", но без специальных технических средств установить невозможно. А раз "похоже вроде", то не доказано.
korn, да, это касается того, что программы могут иметь ошибки. Большинство программ в общем-то поставляется as is со всеми недостатками. Конечно, это их охраны не лишает. Но вопрос-то не в этом, а в том, как без компьютера доказать, что этот текст или двоичный код действительно дадут определенный результат?
Ну в принципе, если это выглядит как утка, плавает как утка, крякает как утка, то вероятнее всего это утка. Но "вероятнее всего" это, строго говоря, не доказательство.