Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Subrecursive Programming Systems

Name: Subrecursive Programming Systems
Brand: Springer, Basel
SKU: 9780817637675
Price: 105.11 EUR
Availability: InStock

Complexity & Succinctness

Автор: James S. Royer, John Case

Език:

Корици: С твърди корици

Издател: Springer, Basel

Наличност: Външен склад

Изпращаме след 10-13 дни

105.11 € 205.57 лв

1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/pr...

Информация за книгата

Автор

James S. Royer, John Case

Език

Английски език

Корици

Книга - С твърди корици

Издадена

1994

страници

253

EAN

9780817637675

ISBN

0817637672

Enbook ID

01399062

Издател

Springer, Basel

Теглоt

549

Размери

156 x 234 x 15

Пълно описание

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.

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Subrecursive Programming Systems

Complexity & Succinctness

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също