Контакт
Как се пазарува?
Доставка
Наръчник за пазаруване
Английски език
263 b
30 дни за връщане на стоката
Клиентите са закупили също
/
Аудио компактдиск
9.04
€
17.67 лв
/
С меки корици
52.49
€
102.66 лв
/
С меки корици
28.31
€
55.37 лв
/
С твърди корици
25.16
€
49.20 лв
/
С меки корици
29.39
€
57.49 лв
1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/program-size trade-offs between such systems, and how these systems can serve as tools in complexity theory. Section 1.1 states our basic themes, and Sections 1.2 and 1.3 give a general outline of the book. Our first task is to explain what subrecursive programming systems are and why they are of interest. 1.1.1. Subrecursive Programming Systems A subrecursive programming system is, roughly, a programming language for which the result of running any given program on any given input can be completely determined algorithmically. Typical examples are: 1. the Meyer-Ritchie LOOP language [MR67,DW83], a restricted assem bly language with bounded loops as the only allowed deviation from straight-line programming; 2. multi-tape 'lUring Machines each explicitly clocked to halt within a time bound given by some polynomial in the length ofthe input (see [BH79,HB79]); 3. the set of seemingly unrestricted programs for which one can prove 1 termination on all inputs (see [Kre51,Kre58,Ros84]); and 4. finite state and pushdown automata from formal language theory (see [HU79]). lOr, more precisely, the collection of programs, p, ofsome particular general-purpose programming language (e.g., Lisp or Modula-2) for which there is a proof in some par ticular formal system (e.g., Peano Arithmetic) that p halts on all inputs.
Информация за книгата
Английски език
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателяМоже би ще Ви заинтересува
/
С меки корици
15.55
€
30.41 лв
/
С твърди корици
36.11
€
70.63 лв
/
С меки корици
16.53
€
32.33 лв
/
С твърди корици
104.11
€
203.61 лв
/
С меки корици
64.63
€
126.41 лв
