Wintersalen Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    The Powell's Playlist | October 21, 2014

    Anne Rice: IMG The Powell’s Playlist: Anne Rice



    These are the songs that wake me up, take me out of my worries and anxieties, wash my brain cells, and send me to the keyboard to write with new... Continue »

    spacer
Qualifying orders ship free.
$14.95
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Mathematics- Logic and Philosophy

Introduction to Formal Languages (Dover Books on Advanced Mathematics)

by

Introduction to Formal Languages (Dover Books on Advanced Mathematics) Cover

 

Synopses & Reviews

Publisher Comments:

This highly technical introduction to formal languages in computer science covers all areas of mainstream formal language theory, including such topics as operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Geared toward advanced undergraduates and graduate students, the treatment examines mathematical topics related to mathematical logic, set theory, and linguistics. All subjects are integral to the theory of computation.

Numerous worked examples appear throughout the book, and end-of-chapter exercises enable readers to apply theory and methods to real-life problems. Elegant mathematical proofs are provided for almost all theorems.

Synopsis:

Covers all areas, including operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Numerous worked examples, problem exercises, and elegant mathematical proofs. 1983 edition.

Synopsis:

Accessible introduction to mainstream formal language theory: operations on languages, context-sensitive languages, automata, syntax analysis, derivation languages, much more. Worked examples. Exercises.

Description:

Includes bibliographical references (p. 192-195) and index.

Table of Contents

Preface

Chapter 1. The Notion of Formal Language

  1.1 Basic Concepts and Notations

  1.2 The Chomsky Hierarchy of Languages

Chapter 2. Operations on Languages

  2.1 Definitions of Operations on Languages

  2.2 Closure Properties of Language Classes

Chapter 3. Context-Free Languages

  3.1 The Chomsky Normal Form

  3.2 Derivation Tree

  3.3 Linear Grammars and Regular Languages

  3.4 Griebach Normal Form

  3.5 Regular Expressions

Chapter 4. Context-Sensitive Languages

  4.1 Length-Increasing Grammars

  4.2 Kuroda Normal Form

  4.3 One-Sided Context-Sensitive Grammars

Chapter 5. Unrestricted Phrase-Structure Languages

  5.1 A Normal Form for Type O Grammars

  5.2 Derivation Graph

Chapter 6. Automata and Their Languages

  6.1 Finite Automata

  6.2 Pushdown Automata

  6.3 Two-Pushdown Automata

  6.4 Turing Machines

Chapter 7. Decidability

  7.1 Recursive and Recursively Enumerable Languages

  7.2 The Church-Turing Thesis

  7.3 Undecidable Problems

Chapter 8. Complexity of Computations

  8.1 Deterministic and Nondeterministic Procedures

  8.2 Measures of Complexity

  8.3 Complexity of Context-Free Language Recognition

  8.4 The Hardest Context-Free Language

Chapter 9. Syntax Analysis

  9.1 The Connection between Syntax and Semantics

  9.2 Ambiguity

  9.3 Earley's Algorithm

  9.4 LL(k) and LR(k) Grammars

Chapter 10. Derivation Languages

  10.1 Operations on Derivations

  10.2 Derivation Words

  10.3 Algebraic Properties of the Fundamental Operations

  10.4 Canonical Derivations and Graph Traversals

  10.5 The Context-Sensitivity of Derivation Languages

  10.6 Derivations in Context-Sensitive Grammars

Appendix. Elements of Set Theory

Bibliographic Notes; References; Index

Product Details

ISBN:
9780486666976
Author:
Revesz, Gyorgy E.
Publisher:
Dover Publications
Author:
R
Author:
Gy
Author:
V
Author:
sz, Cs.
Author:
Mathematics
Author:
ouml
Author:
rgy E.
Author:
eacute
Author:
&
Author:
sz, Gy
Author:
rgy E. R
Location:
New York :
Subject:
Logic
Subject:
Formal languages
Subject:
General Mathematics
Subject:
Formal Language Theory
Subject:
formal grammars
Subject:
context-free languages
Subject:
Mathematics-Logic and Philosophy
Edition Description:
Trade Paper
Series:
Dover Books on Mathematics
Series Volume:
9286
Publication Date:
19910631
Binding:
TRADE PAPER
Language:
English
Illustrations:
Yes
Pages:
208
Dimensions:
8.5 x 5.38 in 0.55 pd

Other books you might like

  1. Ten Little Indians Used Hardcover $7.95
  2. Theory of Recursive Functions and... New Trade Paper $55.95
  3. Practical Magic Used Mass Market $3.50
  4. Computability and Unsolvability... Used Trade Paper $9.00
  5. ASP in a Nutshell Used Trade Paper $5.95
  6. First Order Mathematical Logic Used Trade Paper $7.00

Related Subjects

Computers and Internet » Software Engineering » Programming and Languages
Reference » Science Reference » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Mathematics » Probability and Statistics » General
Science and Mathematics » Mathematics » Probability and Statistics » Statistics
Science and Mathematics » Mathematics » Topology
Science and Mathematics » Physics » Optics

Introduction to Formal Languages (Dover Books on Advanced Mathematics) New Trade Paper
0 stars - 0 reviews
$14.95 In Stock
Product details 208 pages Dover Publications - English 9780486666976 Reviews:
"Synopsis" by , Covers all areas, including operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Numerous worked examples, problem exercises, and elegant mathematical proofs. 1983 edition.
"Synopsis" by ,
Accessible introduction to mainstream formal language theory: operations on languages, context-sensitive languages, automata, syntax analysis, derivation languages, much more. Worked examples. Exercises.

spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.