Первый язык программирования.

[arseniiv]

Ринат в сообщении #347021 писал(а):

Так вот, прав, конечно, Maslov, так как для данного алгоритма значения постоянны и по сути являются частью самого алгоритма. А Вам просто хочу показать, что двоечки и корешки легко переправить под входные данные. А вот операции сложения, деления и др. сюда впутывать не стоит.

Если их переправить, будет уже другой алгоритм.
И почему же не впутывать операции? Вам не любо функциональное программирование?

[Ринат]

arseniiv в сообщении #347030 писал(а):

Если их переправить, будет уже другой алгоритм.

Этого никто и не отрицает.

arseniiv в сообщении #347030 писал(а):

И почему же не впутывать действия? Вам не любо функциональное программирование?

Что Вы хотите предложить? Создали функцию для деления одного выражения на другое, что это меняет? Саму операцию деления Вы как хотите определить (можно, конечно, собрать интерпретатор, в котором операции определить как входные данные)?

[arseniiv]

Ринат в сообщении #347034 писал(а):

Этого никто и не отрицает.

Другой алгоритм, и число его входных данных никак не связано с числом входных данных старого. Значит, внутренние константы — не входные данные.

Ринат в сообщении #347034 писал(а):

Что Вы хотите предложить?

Операции ведь тоже можно представить как константы (функционального типа). Их можно даже не менять; но если вы выносите внутренние константы во входные данные, то извольте вынести и эти.

[Ринат]

arseniiv в сообщении #347044 писал(а):

Другой алгоритм, и число его входных данных никак не связано с числом входных данных старого. Значит, внутренние константы — не входные данные.

Доказательство у Вас нехорошее. :)
Чем Вам не нравится число входных данных? Общая структура та же, меняются лишь числа и их количество - постоянно.

arseniiv в сообщении #347044 писал(а):

Операции ведь тоже можно представить как константы (функционального типа). Их можно даже не менять; но если вы выносите внутренние константы во входные данные, то извольте вынести и эти.

Совсем запутали. Мы транслятор конструируем или что? :)

[arseniiv]

Ринат в сообщении #347045 писал(а):

Доказательство у Вас нехорошее. :)

Брррр. Вы меня сами запутали. Смотрите: вы приписываете константы во вход, говоря, что это так, потому что можно переписать алгоритм $A(v_1,\,\dots ,\,v_n)$ в виде $\mathrm{var}_1 = v_1;\,\dots ;\,\mathrm{var}_n = v_n ;\,A(\mathrm{var}_1,\,\dots ,\,\mathrm{var}_n)$ и вводить значения переменных. Но ведь это уже другой алгоритм. То, что он получен из первого по определённому правилу, не делает число входных данных в нём и в первом одинаковым!

Ринат в сообщении #347045 писал(а):

Совсем запутали. Мы транслятор конструируем или что? :)

Мы сейчас алгоритмы представляем на каком-то абстрактном языке. И при желании на любом языке можно сделать выбор операции по значению какой-нибудь переменной. И вводить её значение, как вы предлагаете.

[Ринат]

arseniiv в сообщении #347051 писал(а):

Ринат в сообщении #347045 писал(а):

Доказательство у Вас нехорошее. :)

Брррр. Вы меня сами запутали. Смотрите: вы приписываете константы во вход, говоря, что это так, потому что можно переписать алгоритм $A(v_1,\,\dots ,\,v_n)$ в виде $\mathrm{var}_1 = v_1;\,\dots ;\,\mathrm{var}_n = v_n ;\,A(\mathrm{var}_1,\,\dots ,\,\mathrm{var}_n)$ и вводить значения переменных. Но ведь это уже другой алгоритм. То, что он получен из первого по определённому правилу, не делает число входных данных в нём и в первом одинаковым!

А что здесь удивительного? Все алгоритмы могут иметь разное число входных данных (кстати, я уже согласился с тем, что быть может нулевое). Как это доказывает, что внутренние константы - не входные данные?

arseniiv в сообщении #347051 писал(а):

Ринат в сообщении #347045 писал(а):

Совсем запутали. Мы транслятор конструируем или что? :)

Мы сейчас алгоритмы представляем на каком-то абстрактном языке. И при желании на любом языке можно сделать выбор операции по значению какой-нибудь переменной. И вводить её значение, как вы предлагаете.

Давайте не будем на такие крайности идти. Операции есть операции, операнды - операнды.

[arseniiv]

Ринат в сообщении #347055 писал(а):

Как это доказывает, что внутренние константы - не входные данные?

Если мы не считаем, что входные данные — это только то, что в алгоритме не содержится, — никак. Но посудите сами, алгоритм для вычисления $2,01^x$ и алгоритм для вычисления $y^x$ с вводом $y:=2,01$ — разные алгоритмы.