With this long-awaited revision, the authors continue to present the theory in a concise and straightforward manner, now with an eye out for the practical applications. They have revised this book to make it more accessible to today's students, including the addition of more material on writing proofs, more figures and pictures to convey ideas, side-boxes to highlight other interesting material, and a less formal writing style. Exercises at the end of each chapter, including some new, easier exercises, help readers confirm and enhance their understanding of the material. *NEW! Completely rewritten to be less formal, providing more accessibility to todays students. *NEW! Increased usage of figures and pictures to help convey ideas. *NEW! More detail and intuition provided for definitions and proofs. *NEW! Provides special side-boxes to present supplemental material that may be of interest to readers. *NEW! Includes more exercises, including many at a lower level. *NEW! Presents program-like notation for PDAs and Turing machines. *NEW! Increas

    Trek across the desert. Evade a man-eating rabbit. Become a millionaire. Step-by-step programs and sample runs on Microsoft Basic, with conversion table.Who could ask for MORE? Everyone. Begin.

    

    Reviews how techniques and challenges differ from traditional non-interactive languages; balances material for planning/performing the task with underlying theoretical principles; assumes no more than an ability to program and a familiarity with interactive working.

    Although the background information and technical details that were written in 1975 for the first edition of this book are still valid in most essential points, hardware and software refinements have had a major impact on the effectiveness of these ideas. The current crop of chess machines are performing at unexpectedly high levels. The approach epitomized by the series of programs developed by David Slate and Larry Atkin at Northwestern in the middle 1970s (i. e., a sophisticated search algorithm using very little chess knowledge) was expected to reach an asymptbtic level of performance no higher than that of a class A player (USCF rating between 1800 and 2000). This perspective was argued quite vigorously by Eliot Hearst in Chapter 8 of the first edition and was held at that time by many chess experts. Subsequent events have clearly demonstrated that the asymptotic performance level for this type of pro- gram it at least as high as the master level (USCF rating between 2200 and 2400). Current discussions now focus upon whether the earlier reser- vations were wrong in principle or simply underestimated the asymptote. If there is a real barrier which will prevent this type of program from attaining a world championship level of performance, it is not evident from the steady progress which has been observed during the last decade.

    

    See the robots, machines and cities of the future, and then travel to the stars."