Что такое операционная система

[Профессор Снэйп]

_hum_ в сообщении #614193 писал(а):

По крайней мере интересно было бы от вас услышать, как вы относитесь к такому обощению...

Я к нему не отношусь. Я его знаю. Это разные вещи

Честно говоря, всё, что хотел от этой темы, я уже получил. Исчерпывающим образом на мой вопрос ответил Pavia:

Pavia в сообщении #609641 писал(а):

ОС - не имеет чёткого определения. Не исключаю что на заре развития технике имела.

Универсальная машина Тьюринга выполняет одну из функций, присущих современным операционным системам. Другие функции она не выполняет. А считать её ОС или нет - вопрос тёмный, поскольку отсутствует чёткое определение ОС.

Примерно на второй странице тема вылилась в бессмысленные потоки флуда. Гм... потоки Надеюсь, они не окажутся актуально бесконечными

В любом случае, мне эти потоки обрабатывать неинтересно. А ждать, когда в них промелькнёт что-то интересное, с ростом числа сообщений всё более и более бессмысленно.

[bin]

Tod Leben в сообщении #614117 писал(а):

Комп может работать и без прерываний. Раньше они так и работали.

Назовите, пожалуйста, конкретную модель (может IBM-360, IBM PC XT или PDP-11 работали без прерываний? )

[epros]

bin в сообщении #614195 писал(а):

Я об этом и говорю, что бывают задачи реального времени, которые невозможно моделировать на моделях, где время не существует.

Одно из замечательных свойств математики заключается в том, что с помощью матмоделей, не содержащих понятия времени, можно моделировать процессы, зависимые от времени.

[Профессор Снэйп]

bin в сообщении #614201 писал(а):

...или PDP-11 работали без прерываний?

В PDP-11 точно были прерывания. Мне ещё в школе довелось вот эту штуку программировать В том числе и обработку прерываний писал...

[_hum_]

epros в сообщении #614196 писал(а):

_hum_ в сообщении #614193 писал(а):

С помощью какой МТ можно промоделировать работу данной программы?

С помощью МТ, которая тупо считывает данные с той части ленты, куда должны писаться данные "входного потока", и переносит их на ту часть ленты, откуда должны считываться данные "выходного потока".

Что за "часть ленты, куда пишутся данные"? У МТ есть только два понятия: исходные данные, которые записываются на ленту перед началом работы, и конечные данные, которые извлекаются с ленты после окончания работы (перехода машины в конечное состояние). Все! Причем и те, и другие, конечны по размеру!
Так куда что будем помещать в нашем примере?

Профессор Снэйп, так если вы знакомы с этим подходом, можете пояснить, с вашей точки зрения, для чего вводилось данное расширение понятия вычислимости?

[Профессор Снэйп]

epros в сообщении #614202 писал(а):

Одно из замечательных свойств математики заключается в том, что с помощью матмоделей, не содержащих понятия времени, можно моделировать процессы, зависимые от времени.

В матмоделях время - это просто переменная. В уравнениях матфизики она принимает действительные значения, в computer science - большей частью натуральные... Обозначается буквой $t$

[bin]

Tod Leben в сообщении #614117 писал(а):

В основании архитектуры компа лежит логический вентиль, и его физическая реализация (транзистор).

Вы про ЭВМ? А еще бывают АВМ. А еще гибридные...

[Профессор Снэйп]

_hum_ в сообщении #614204 писал(а):

Профессор Снэйп, так если вы знакомы с этим подходом, можете пояснить, с вашей точки зрения, для чего вводилось данное расширение понятия вычислимости?

Чтобы было! Ибо чем больше эквивалентных формализаций, тем лучше...

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

[epros]

(Оффтоп)

Профессор Снэйп в сообщении #614206 писал(а):

В матмоделях время - это просто переменная. В уравнениях матфизики она принимает действительные значения, в computer science - большей частью натуральные... Обозначается буквой $t$

Абсолютно с Вами согласен.

[_hum_]

Профессор Снэйп в сообщении #614209 писал(а):

Чтобы было! Ибо чем больше эквивалентных формализаций, тем лучше...

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

Погодите, но там же не просто рассматривается вычислимость с топологической точки зрения. Там же производится расширение области определения вычислимой функции с множества конечных последовательностей на множество, включающее в себе еще и бесконечные! Вычислимая функция становится всюду определенной!

-- Пн сен 03, 2012 16:40:30 --

К тому же там вычислимость не приравнивается к непрерывности.

[epros]

_hum_ в сообщении #614204 писал(а):

Что за "часть ленты, куда пишутся данные"? У МТ есть только два понятия: исходные данные, которые записываются на ленту перед началом работы, и конечные данные, которые извлекаются с ленты после окончания работы (перехода машины в конечное состояние). Все! Причем и те, и другие, конечны по размеру!
Так куда что будем помещать в нашем примере?

_hum_, я не понимаю, в чём Ваши проблемы? Просто разделите ленту на области, где "должны быть входные данные" и где "должны быть выходные данные" (и где "должно быть что-то ещё"). Делите любым удобным образом, лента бесконечная, места на всё хватит. Можете совершенно спокойно считать, что все входные данные записаны туда "перед началом работы", а выходные данные извлекаются "после конца работы". На логику работы МТ это никак не повлияет.

[Профессор Снэйп]

_hum_ в сообщении #614213 писал(а):

Там же производится расширение области определения вычислимой функции с множества конечных последовательностей на множество, включающее в себе еще и бесконечные! Вычислимая функция становится всюду определенной!

Это не есть нечто новое, характерное для того самого подхода. Тот самый подход просто оформляет это дело через непрерывные отображения $f_0$-пространств. Переводит изложение на топологический язык...

Вообще, в теории вычислимости есть два основных способа задания единичной алгоритмической проблемы: через алгоритм её разрешения и через алгоритм её перечисления. Это принципиально разные способы! А алгоритмы перечисления изначально мыслятся как бесконечно работающие алгоритмы. Множество (кодирующее алгоритмическую проблему) перечислимо, если можно написать программу для МТ, которая будет работать бесконечно и перечислять на ленте элементы этого множества. Всё это было известно до всяких $f_0$-пространств и активно изучалось

-- Пн сен 03, 2012 18:44:31 --

epros в сообщении #614217 писал(а):

_hum_, я не понимаю, в чём Ваши проблемы? Просто разделите ленту на области, где "должны быть входные данные" и где "должны быть выходные данные" (и где "должно быть что-то ещё").

Либо взять машину с несколькими лентами

[Munin]

epros в сообщении #614194 писал(а):

Представил.

Нет, не у себя в голове представьте, а сюда на публичное обсуждение представьте.

[Профессор Снэйп]

_hum_ в сообщении #614213 писал(а):

К тому же там вычислимость не приравнивается к непрерывности.

А кто говорит, что приравнивается?

[_hum_]

epros в сообщении #614217 писал(а):

_hum_ в сообщении #614204 писал(а):

Что за "часть ленты, куда пишутся данные"? У МТ есть только два понятия: исходные данные, которые записываются на ленту перед началом работы, и конечные данные, которые извлекаются с ленты после окончания работы (перехода машины в конечное состояние). Все! Причем и те, и другие, конечны по размеру!
Так куда что будем помещать в нашем примере?

_hum_, я не понимаю, в чём Ваши проблемы? Просто разделите ленту на области, где "должны быть входные данные" и где "должны быть выходные данные" (и где "должно быть что-то ещё"). Делите любым удобным образом, лента бесконечная, места на всё хватит. Можете совершенно спокойно считать, что все входные данные записаны туда "перед началом работы", а выходные данные извлекаются "после конца работы". На логику работы МТ это никак не повлияет.

Хе-хе. В том -то и дело, что ничего не выйдет. Допустим, кто-то решит на клавиатуре набирать все простые числа. Ну и ? Куда вы в качестве исходных данных для МТ на ленту поместите все простые числа? Ведь,к ак вы навернео знаете, исходные данные МТ, которые отличны от пробела, должны быть конечными!