aruslan: (Default)
Не очень понимаю, чем дуэт параллельно работающих машин Тьюринга отличается от одной, если нас интересует ответ от хотя бы одной из них.

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

Очень хочется помощи зала.
Вот цытато:

Now, since f(k) is determined by a parallel duo of Turing machines that is not, itself, a Turing machine, but which can be viewed as a deterministic Turing oracle, it follows that there is no algorithmic method of determining f(k); in other words, although the number-theoretic function f(x) is a well-defined mathematical concept, f is not a mathematical object. Hence f(x) may be considered as determinate, but uncomputable; its values are essentially unpredictable, and so, by definition, truly random.

(Is the Halting probability a Dedekind real number?)
aruslan: (Default)
Читать вдумчиво и внимательно.

Это еще не про витамины А и Б. Про витамины обещают в следующих сериях. Это, скорее, про амфетамины.

Сергей Дмитриев (JetBrains): статья Language-Oriented Programming в журнале onBoard.
Jack Greenfield (Microsoft): статья The Case for Software Factories в Architects JOURNAL и
его же статья Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools.

Если интересно, можно медитировать над сайтом Software Product Lines в целом.

Update: обновлен список интересных ссылок и выложен обрывок из заупокойной.

Profile

aruslan: (Default)
aruslan

January 2014

S M T W T F S
   1234
56789 1011
12131415161718
19202122232425
262728293031 

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 25th, 2017 06:15
Powered by Dreamwidth Studios