Annotated Turing(1).pdf

(12331 KB) Pobierz
The Annotated
Turing
A
Guided Tour through
Alan Turing's Historic
Paper on Computability
and the Turing Machine
Charles Petzold
~
WILEY
Wiley Publishing, Inc.
The Annotated Turing: A Guided Tour through Alan Turing's
Historic Paper on Computability and the Turing Machine
Published by
Wiley Publishing, Inc.
10475 Crosspoint Boulevard
Indianapolis, IN 46256
www.wiley.com
Copynght
©
2008 by Wiley Publishing, Inc, Indianapolis, Indiana
Published simultaneously in Canada
ISBN 978-0-470-22905-7
Manufactured in the United States of Amenca
1098 76 5 4 3 2 I
No part of this publication may be reproduced, stored in a retneval system or transmitted in any form or by
any means, electronic, mechanical, photocopymg, recording. scanning or otherwJse, except as permitted
under Sections 107 or 108 of the 1976 United States Copynght Act. Wlthout either the pnor wntten
permission of the Publisher. or authonzation through payment of the appropnate per-copy fee to the
Copynght Clearance Center, 222 Rosewood Dnve, Danvers, MA 01923, (978) 750-8400, fax (978)
646-8600 Requests to the Publisher for permission should be addressed to the Legal Department, Wiley
Publishing, Inc, 10475 Crosspoint Blvd. Indianapolis, IN 46256. (317) 572-3447, fax (317) 572-4355, or
online at
http://www.wiley.com/go/permissions
Limit of LiabilitylDisciaimer of Warranty The publisher and the author make no representations or
warranties with respect to the accuracy or completeness of the contents of this work and specifically
disclaim all warranties, including Wlthout limitation warranties of fitness for a particular purpose No
warranty may be created or extended by sales or promotional matenals The adVIce and strategies
contained herein may not be suitable for every situation This work is sold Wlth the understanding that the
publisher is not engaged in rendering legal, accounting. or other professional services
If
professional
assistance is required. the serVIces of a competent professional person should be sought Neither the
publisher nor the author shall be liable for damages ansing herefrom The fact that an organization or
Website is referred to in this work as a citation and/or a potential source of further information does not
mean that the author or the publisher endorses the information the orgamzation or Website may proVIde or
recommendations it may make Further, readers should be aware that Internet Websites listed in this work
may have changed or disappeared between when this work was wntten and when it is read
For general information on our other products and services or to obtain technical support, please contact
our Customer Care Department Wlthin the U S at (800) 762-2974, outside the U S at (317) 572-3993 or
fax (317) 572-4002
Library of Congress Cataloging-in-Publication Data is available from the publisher
Alan Tunng's paper repnnted Wlth the kind permission of the London Mathematical Society
Trademarks:
Wiley and the Wiley logo are trademarks or registered trademarks ofjohn Wiley
&:
Sons,
Inc and/or its affiliates, in the United States and other countnes, and may not be used without wntten
permission All other trademarks are the property of their respective owners Wiley Publishing, Inc, is not
associated Wlth any product or vendor mentioned in this book
Wiley also publishes its books in a vanety of electronic formats Some content that appears in pnnt may
not be available in electronic books
TUring Machine:
In 1936
Dr. Turing wrote a paper on the design and the
limitations of computing machines. For this reason they are sometimes known by
his name. The umlaut
is
an unearned and undesirable addition, due, presumably, to
an impression that anything
so
incomprehensible must be Teutonic.
- Faster Than Thought: A Symposium
on
Digital Computing Machines (1953)
Credits
Executive Editor
Chris Webb
Development Editor
Christopher j. Rivera
Technical Editor
Peter Bonfanti
Production Editor
Angela Smith
Copy Editor
Sydney jones
Editorial Manager
Mary Beth Wakefield
Production Manager
Tim Tate
Vice President and Executive Group
Publisher
Richard Swadley
Vice President and Executive
Publisher
joseph B. Wikert
Project Coordinator,
Cover
Lynsey Stanford
Proofreader
David Fine
Indexer
Melanie Belkin
Zgłoś jeśli naruszono regulamin