ru.nethack

 
 - RU.NETHACK -------------------------------------------------------------------
 From : 3APA3A                               2:5020/400     03 Apr 2002  21:33:18
 To : Dmitry Radishev
 Subject : Re: FTP
 -------------------------------------------------------------------------------- 
 

 Hello, Dmitry!
 You wrote to 3APA3A on Wed, 03 Apr 2002 17:50:30 +0400:
  DR>  ...должен ли файл иметь имя? Учитывая, что сущность, образующаяся
  DR> из существующего файла при последовательном open()/unlink(), по всем
  DR> параметрам похожа на файл, только не имеет имени, и
  DR> самоликвидируется по close().
 
 Файл должен иметь уникальный идентификатор, который позволяет отличить его
 от других. В случае tar это имя. В случае open()/unlink() его дескриптор.
 
  DR>  Если на современных ПК нельзя реализовать машину Тьюринга - нафига
  DR> тут вообще обсуждать? Если можно - то про ленты я уже сказал, а в
  DR> чем может быть еще проблема - я не очень понимаю.
 
 Во-первых машина Тьюринга это не совсем то, что ты думаешь. Одна машина
 Тьюринга реализует один алгоритм (например можно создать машину Тьюринга
 строющую tar-архив с пустыми файлами 'a', 'b', 'c', можно построить машину
 Тьюринга добавляющую еще один файл к уже имеющимся на ленте и т.д.). Поэтому
 машин Тьюринга бесконечно много. Во-вторых реализовать нельзя ни одной,
 поскольку в определение машины Тюринга два раза входит бесконечная лента :)
 Можно построить машину и программу для машины фон неймана эмулирующую работу
 (только работу) машины Тьюринга для любой _вычислимой_ задачи. Hасколько я
 помню это доказанная теорема.
 
 /3APA3A
 http://www.security.nnov.ru
 --- ifmail v.2.15dev5
  * Origin: Demos online service (2:5020/400)
 
 

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

Тема:    Автор:    Дата:    FTP   Dmitry Radishev   03 Apr 2002 18:50:30   Re: FTP   3APA3A   03 Apr 2002 21:33:18