История изменений
Исправление Manhunt, (текущая версия) :
Раньше были «ленты» (в 1936-м году, у Тьюринга и у Поста). Ленты можно было читать в любом направлении, перемещаться и туда, и обратно, и куда-попало. А потоки не такие, потоки надо вычитывать последовательно и они могут заканчиваться (а ленты по определению были бесконечные).
Так вот, как математики эти новомодные потоки описывают, когда доказывают корректность программ?
Если ты видел доказательства теорем про машины Тюринга, то чем они по-твоему должны отличаться от аналогичных доказательств про fifo/lifo ? Такое впечатление, что ты просто мало знаком с предметом..
Исходная версия Manhunt, :
Раньше были «ленты» (в 1936-м году, у Тьюринга и у Поста). Ленты можно было читать в любом направлении, перемещаться и туда, и обратно, и куда-попало. А потоки не такие, потоки надо вычитывать последовательно и они могут заканчиваться (а ленты по определению были бесконечные).
Так вот, как математики эти новомодные потоки описывают, когда доказывают корректность программ?
Если ты видел доказательства теорем про машины Тюринга, то чем они по-твоему должны отличаться от аналогичных теорем про fifo/lifo ? Такое впечатление, что ты просто мало знаком с предметом..