skip to content
Introduction to languages and the theory of computation Preview this item
ClosePreview this item
Checking...

Introduction to languages and the theory of computation

Author: John C Martin
Publisher: Boston : McGraw-Hill, ©2003.
Edition/Format:   Print book : English : 3rd edView all editions and formats
Summary:

Providing an introduction to the theory of computation, this work emphasizes formal languages, automata and abstract models of computation, and computability. It includes an introduction to  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Martin, John C.
Introduction to languages and the theory of computation.
Boston : McGraw-Hill, ©2003
(OCoLC)606908837
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: John C Martin
ISBN: 0072322004 9780072322002 0071198547 9780071198547 0071240187 9780071240185
OCLC Number: 49704774
Description: xiii, 543 pages : illustrations ; 24 cm
Contents: Mathematical Notation and Techniques --
Basic Mathematical Objects --
Mathematical Induction and Recursive Definitions --
Regular Languages and Finite Automata --
Regular Languages and Finie Automata --
Nondeterminism and Kleene's Theorem --
Regular and Nonregular Languages --
Context-Free Languages and Pushdown Automata --
Context-Free Grammars --
Pushdown Automata --
Context-Free and Non-Context-Free Languages --
Turing Machines and Their Languages --
Turing Machines --
Recursively Enumerable Languages --
Unsolvable Problems and Computable Functions --
Unsolvable Problems --
Computable Functions --
Introduction to Computational Complexity --
Measuring and Classifying Complexity --
Tractable and Intractable Problems.
Responsibility: John C. Martin.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/49704774> # Introduction to languages and the theory of computation
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "49704774" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   schema:about <http://experiment.worldcat.org/entity/work/data/370263#Topic/berechenbarkeit> ; # Berechenbarkeit
   schema:about <http://experiment.worldcat.org/entity/work/data/370263#Topic/fonctions_calculables> ; # Fonctions calculables
   schema:about <http://experiment.worldcat.org/entity/work/data/370263#Topic/formale_sprache> ; # Formale Sprache
   schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
   schema:about <http://id.worldcat.org/fast/1112895> ; # Sequential machine theory
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/370263#Topic/machines_sequentielles_theorie_des> ; # Machines séquentielles, Théorie des
   schema:about <http://experiment.worldcat.org/entity/work/data/370263#Topic/turing_maschine> ; # Turing-Maschine
   schema:about <http://experiment.worldcat.org/entity/work/data/370263#Topic/automatentheorie> ; # Automatentheorie
   schema:bookEdition "3rd ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2003" ;
   schema:creator <http://viaf.org/viaf/109467247> ; # John C. Martin
   schema:datePublished "2003" ;
   schema:description "Mathematical Notation and Techniques -- Basic Mathematical Objects -- Mathematical Induction and Recursive Definitions -- Regular Languages and Finite Automata -- Regular Languages and Finie Automata -- Nondeterminism and Kleene's Theorem -- Regular and Nonregular Languages -- Context-Free Languages and Pushdown Automata -- Context-Free Grammars -- Pushdown Automata -- Context-Free and Non-Context-Free Languages -- Turing Machines and Their Languages -- Turing Machines -- Recursively Enumerable Languages -- Unsolvable Problems and Computable Functions -- Unsolvable Problems -- Computable Functions -- Introduction to Computational Complexity -- Measuring and Classifying Complexity -- Tractable and Intractable Problems."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/370263> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/606908837> ;
   schema:name "Introduction to languages and the theory of computation"@en ;
   schema:productID "49704774" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/49704774#PublicationEvent/boston_mcgraw_hill_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/370263#Agent/mcgraw_hill> ; # McGraw-Hill
   schema:url <http://catdir.loc.gov/catdir/toc/mh023/2002070865.html> ;
   schema:workExample <http://worldcat.org/isbn/9780072322002> ;
   schema:workExample <http://worldcat.org/isbn/9780071240185> ;
   schema:workExample <http://worldcat.org/isbn/9780071198547> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/49704774> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
   schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/370263#Topic/fonctions_calculables> # Fonctions calculables
    a schema:Intangible ;
   schema:name "Fonctions calculables"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/370263#Topic/machines_sequentielles_theorie_des> # Machines séquentielles, Théorie des
    a schema:Intangible ;
   schema:name "Machines séquentielles, Théorie des"@fr ;
    .

<http://id.worldcat.org/fast/1112895> # Sequential machine theory
    a schema:Intangible ;
   schema:name "Sequential machine theory"@en ;
    .

<http://id.worldcat.org/fast/871985> # Computable functions
    a schema:Intangible ;
   schema:name "Computable functions"@en ;
    .

<http://viaf.org/viaf/109467247> # John C. Martin
    a schema:Person ;
   schema:familyName "Martin" ;
   schema:givenName "John C." ;
   schema:name "John C. Martin" ;
    .

<http://worldcat.org/isbn/9780071198547>
    a schema:ProductModel ;
   schema:isbn "0071198547" ;
   schema:isbn "9780071198547" ;
    .

<http://worldcat.org/isbn/9780071240185>
    a schema:ProductModel ;
   schema:isbn "0071240187" ;
   schema:isbn "9780071240185" ;
    .

<http://worldcat.org/isbn/9780072322002>
    a schema:ProductModel ;
   schema:isbn "0072322004" ;
   schema:isbn "9780072322002" ;
    .

<http://www.worldcat.org/oclc/606908837>
    a schema:CreativeWork ;
   rdfs:label "Introduction to languages and the theory of computation." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/49704774> ; # Introduction to languages and the theory of computation
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.