skip to content
Languages and machines : an introduction to the theory of computer science Preview this item
ClosePreview this item
Checking...

Languages and machines : an introduction to the theory of computer science

Author: Thomas A Sudkamp
Publisher: Boston : Pearson Addison-Wesley, ©2006.
Series: Pearson international edition
Edition/Format:   Print book : English : 3rd edView all editions and formats
Summary:
Providing a mathematically sound presentation of the theory of computer science this work is suitable for junior and senior level computer science majors. It develops an intuitive understanding of the theoretical concepts and associated mathematics through examples and illustrations and gives instructors an ability to design their courses.
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Thomas A Sudkamp
ISBN: 0321322215 9780321322210 0321315340 9780321315342
OCLC Number: 57344192
Description: xvii, 654 pages : illustrations ; 24 cm.
Contents: Mathematical preliminaries --
Languages --
Context-free grammars --
Normal forms for context-free grammars --
Finite automata --
Properties of regular languages --
Pushdown automata and context-free languages --
Turing machines --
Turing computable functions --
The Chomsky hierarchy --
Decision problems and the church-turing thesis --
Undecidability --
Mu-recursive functions --
Time complexity --
P, NP and Cook's theorem --
NP-complete problems --
Additional complexity classes --
Parsing : an introduction --
LL(k) grammars --
LR(k) grammars.
Series Title: Pearson international edition
Responsibility: Thomas A. Sudkamp.
More information:

Abstract:

Provides readers with a mathematically sound presentation of the theory of computer science at a level suitable for junior and senior level computer science majors. This edition includes more number  Read more...

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/57344192> # Languages and machines : an introduction to the theory of computer science
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "57344192" ;
    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/836647602#Topic/formale_sprache> ; # Formale Sprache
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/836647602#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/836647602#Topic/automatentheorie> ; # Automatentheorie
    schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
    schema:about <http://experiment.worldcat.org/entity/work/data/836647602#Topic/theoretische_informatik> ; # Theoretische Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/836647602#Topic/langages_formels> ; # Langages formels
    schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/836647602#Topic/komplexitatstheorie> ; # Komplexitätstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/836647602#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/836647602#Topic/formele_talen> ; # Formele talen
    schema:about <http://experiment.worldcat.org/entity/work/data/836647602#Topic/programmeertalen> ; # Programmeertalen
    schema:bookEdition "3rd ed." ;
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "2006" ;
    schema:creator <http://viaf.org/viaf/91622866> ; # Thomas A. Sudkamp
    schema:datePublished "2006" ;
    schema:description "Providing a mathematically sound presentation of the theory of computer science this work is suitable for junior and senior level computer science majors. It develops an intuitive understanding of the theoretical concepts and associated mathematics through examples and illustrations and gives instructors an ability to design their courses."@en ;
    schema:description "Mathematical preliminaries -- Languages -- Context-free grammars -- Normal forms for context-free grammars -- Finite automata -- Properties of regular languages -- Pushdown automata and context-free languages -- Turing machines -- Turing computable functions -- The Chomsky hierarchy -- Decision problems and the church-turing thesis -- Undecidability -- Mu-recursive functions -- Time complexity -- P, NP and Cook's theorem -- NP-complete problems -- Additional complexity classes -- Parsing : an introduction -- LL(k) grammars -- LR(k) grammars."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/836647602> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/836647602#Series/pearson_international_edition> ; # Pearson international edition
    schema:name "Languages and machines : an introduction to the theory of computer science"@en ;
    schema:productID "57344192" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/57344192#PublicationEvent/boston_pearson_addison_wesley_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/836647602#Agent/pearson_addison_wesley> ; # Pearson Addison-Wesley
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013169259&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://catdir.loc.gov/catdir/toc/ecip055/2004030342.html> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=013169259&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9780321315342> ;
    schema:workExample <http://worldcat.org/isbn/9780321322210> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/57344192> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/836647602#Agent/pearson_addison_wesley> # Pearson Addison-Wesley
    a bgn:Agent ;
    schema:name "Pearson Addison-Wesley" ;
    .

<http://experiment.worldcat.org/entity/work/data/836647602#Series/pearson_international_edition> # Pearson international edition
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/57344192> ; # Languages and machines : an introduction to the theory of computer science
    schema:name "Pearson international edition" ;
    .

<http://experiment.worldcat.org/entity/work/data/836647602#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
    schema:name "Automates mathématiques, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/836647602#Topic/complexite_de_calcul_informatique> # Complexité de calcul (Informatique)
    a schema:Intangible ;
    schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/836647602#Topic/komplexitatstheorie> # Komplexitätstheorie
    a schema:Intangible ;
    schema:name "Komplexitätstheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/836647602#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
    schema:name "Theoretische Informatik"@en ;
    .

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

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity"@en ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
    schema:name "Formal languages"@en ;
    .

<http://viaf.org/viaf/91622866> # Thomas A. Sudkamp
    a schema:Person ;
    schema:familyName "Sudkamp" ;
    schema:givenName "Thomas A." ;
    schema:name "Thomas A. Sudkamp" ;
    .

<http://worldcat.org/isbn/9780321315342>
    a schema:ProductModel ;
    schema:isbn "0321315340" ;
    schema:isbn "9780321315342" ;
    .

<http://worldcat.org/isbn/9780321322210>
    a schema:ProductModel ;
    schema:isbn "0321322215" ;
    schema:isbn "9780321322210" ;
    .

<http://www.worldcat.org/title/-/oclc/57344192>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/57344192> ; # Languages and machines : an introduction to the theory of computer science
    schema:dateModified "2018-12-15" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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