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" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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