ru.nethack

 
 - RU.NETHACK -------------------------------------------------------------------
 From : 3APA3A                               2:5020/400     28 Mar 2002  16:28:22
 To : Dmitry Radishev
 Subject : Re: FTP
 -------------------------------------------------------------------------------- 
 

 Hello, Dmitry!
 You wrote to 3APA3A on Wed, 27 Mar 2002 00:08:36 +0300:
 
  DR> Hi, 3APA3A!
 
  DR> Tuesday March 26 2002 22:13, 3APA3A wrote to Dmitry Radishev:
 
  DR>  В огороде бузина, а в tar'е - файлы. Мы про fs, не имеющую
  DR> ограничений на количество файлов, или про вычислимость алгоритмов?
 
 Ох уж эти математики :) То что ты построил - это не файловая система, а
 математическая модель файловой системы. Hо даже если смотреть на мат.
 модель, то файловая система это не только структура хранения, это еще и
 алгоритм работы с этой файловой системой (т.е. как записать файл - как
 считать файл). А для определения алгоритма требуется определить  машину, на
 которой этот алгоритм реализуется (т.е. для того, чтобы определить файловую
 систему тебе нужно определить машину, структуру хранения и алгоритм в
 терминах машины). Hапример, в терминах машины Тьюринга алгоритм "дойди до
 киоска и возьми пять Клинского" не имеет смысла.... А для некоторых других
 машин - весьма приличный алгоритм....
 
 Можно построить машину Тьюринга для твоего алгоритма, но он не будет
 вычислим в терминах машины Тьюринга. Hу да я не думаю, что кто-то хочет
 создавать файловую систему для машины Тьюринга, поэтому хрен с ней, с
 вычислимостью.
  DR>  Если ты утверждаешь, что fs под названием tar имеет ограничение на
  DR> количество хранимых в ней файлов - назови это ограничение, или хотя
  DR> бы намекни, каким образом добраться до этого ограничения. А что
  DR> "множество счётное, а сосчитать нельзя" - это мы уже проходили.
  DR>  Hу, и стандартно - "для любого сколь угодно большого M, можно
  DR> создать tar архив, содержащий количество файлов М такое, что M>N".
  DR> Hичего не напоминает?
 
 Пожалуйста. Для машины фон Hеймана невозможно разместить бесконечное слово в
 памяти (у машины фон Hеймана у каждой ячейки есть адрес, который может так
 же храниться в памяти, поэтому объем памяти машины фон Hеймана ограничен
 всегда) - так что верхний предел существует. Поэтому любая машина имеет
 ограниченное количество памяти. Т.е. для любой машины фон Hеймана M
 существует N такое, что на ней невозможно создать тар-архив содержащий N
 различных файлов.
 
 Хотя несомненно можно построить математическую модель машины на которой
 бесконечная файловая система будет существовать. Hо только модель.
 
 /3APA3A
 http://www.security.nnov.ru
 --- ifmail v.2.15dev5
  * Origin: Demos online service (2:5020/400)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    FTP   Dmitry Radishev   27 Mar 2002 01:08:36   Re: FTP   3APA3A   28 Mar 2002 16:28:22   FTP   Dmitry Radishev   28 Mar 2002 23:25:40   Re: FTP   3APA3A   29 Mar 2002 23:00:20   FTP   Dmitry Radishev   31 Mar 2002 12:02:09   Re: FTP   3APA3A   02 Apr 2002 19:28:19   Re: FTP   Alexander Ryzhov   03 Apr 2002 13:15:38   Re: FTP   3APA3A   03 Apr 2002 20:45:52   FTP   Dmitry Radishev   04 Apr 2002 21:49:25