Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application [Hardcover]

Grzegorz Rozenberg (Editor), Arto Salomaa (Editor)

Book Description

Publication Date: January 31, 2001

This second volume of the Handbook of Formal Languages contains the most fundamental applications of language theory. Various aspects of linguistics and parsing, both natural and programming languages, symbolic manipulation, and pattern matching are discussed. A special feature is the recently very active field of DNA computing.

Product Details

• Hardcover: 550 pages
• Publisher: Springer; 1 edition (January 31, 2001)
• Language: English
• ISBN-10: 3540606483
• ISBN-13: 978-3540606482
• Product Dimensions: 9.3 x 6.2 x 1 inches
• Shipping Weight: 1.9 pounds (View shipping rates and policies)
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #643,167 in Books (See Top 100 in Books)

Customer Reviews

Most Helpful Customer Reviews

4 of 4 people found the following review helpful:

5.0 out of 5 stars Brings together three themes with interesting side trips., July 26, 2004

By 

J. COLBY "CS Ph.D. survivor [with amnesia]" (Santa Cruz, CA USA) - See all my reviews
(REAL NAME)   

This review is from: Handbook of Formal Languages: Volume 3. Beyond Words (Hardcover)

As a Ph.D. candidate working in parsing and interested in model-theoretic syntax, I have found this book to be very useful. I have become very interested in the relation between languages, automata and logic, and how they relate to parsing and deduction. This handbook presents these things with some extra tidbits in chapters which from what I have read - I haven't read the whole book - are well-written and accessible. And the authors point out connections between each other's work.

What is especially interesting to me is the focus on languages where the chosen models are not strings, but instead trees, graphs, etc. For example, my present work is about semiring parsing, with tree automata as the operational model. I am interested in applying parsing as deduction to models which are arbitrary classes of graphs described by grammars written as formulas in some logic. Having recently bought this handbook for future reference, I was delighted to find a very accessible and useful chapter on tree automata which related to work I just started.

For my interests, the chapters on graph grammars, term rewriting and on automata, languages and logic are also enticing and I look forward to reading them as well. The other chapters aren't central to my own work, but I also look forward to reading them, for they seem interesting.

I encourage any researcher working with languages, whether they be artificial ones like XML trees, graphs representing networks or proofs, or they are natural languages, who would like to enter the new millenium to read this book as well as the other volumes of the Handbook of Formal Languages.