Customize Consent Preferences

We use cookies to help you navigate efficiently and perform certain functions. You will find detailed information about all cookies under each consent category below.

The cookies that are categorized as "Necessary" are stored on your browser as they are essential for enabling the basic functionalities of the site. ... 

Always Active

Necessary cookies are required to enable the basic features of this site, such as providing secure log-in or adjusting your consent preferences. These cookies do not store any personally identifiable data.

Functional cookies help perform certain functionalities like sharing the content of the website on social media platforms, collecting feedback, and other third-party features.

No cookies to display.

Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics such as the number of visitors, bounce rate, traffic source, etc.

No cookies to display.

Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.

No cookies to display.

Advertisement cookies are used to provide visitors with customized advertisements based on the pages you visited previously and to analyze the effectiveness of the ad campaigns.

No cookies to display.

Use coupon code “MARCH20” for a 20% discount on all items! Valid until 31-03-2025

Site Logo
Site Logo

Royal Mail  express delivery to UK destinations

Regular sales and promotions

Stock updates every 20 minutes!

Automata and Computability

Out of stock

Firm sale: non returnable item
SKU 9780387949079 Categories ,
Select Guide Rating
The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model's rich and varied structure. Pushdown automata provide a broader class of models and enable the analysis of con...

£64.99

Buy new:

Delivery: UK delivery Only. Usually dispatched in 1-2 working days.

Shipping costs: All shipping costs calculated in the cart or during the checkout process.

Standard service (normally 2-3 working days): 48hr Tracked service.

Premium service (next working day): 24hr Tracked service – signature service included.

Royal mail: 24 & 48hr Tracked: Trackable items weighing up to 20kg are tracked to door and are inclusive of text and email with ‘Leave in Safe Place’ options, but are non-signature services. Examples of service expected: Standard 48hr service – if ordered before 3pm on Thursday then expected delivery would be on Saturday. If Premium 24hr service used, then expected delivery would be Friday.

Signature Service: This service is only available for tracked items.

Leave in Safe Place: This option is available at no additional charge for tracked services.

Description

Product ID:9780387949079
Product Form:Hardback
Country of Manufacture:GB
Series:Undergraduate Texts in Computer Science
Title:Automata and Computability
Authors:Author: Dexter C. Kozen
Page Count:400
Subjects:Robotics, Robotics, Mathematical theory of computation, Machine learning, Mathematical theory of computation, Machine learning
Description:Select Guide Rating
The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model's rich and varied structure. Pushdown automata provide a broader class of models and enable the analysis of context-free languages.

This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model''s rich and varied structure. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in analyses of effective computability, decidability, and Gödel''s incompleteness theorems. Students who already have some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts.


Imprint Name:Springer-Verlag New York Inc.
Publisher Name:Springer-Verlag New York Inc.
Country of Publication:GB
Publishing Date:1997-04-30