Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application Softcover reprint of hardcover 1st ed. 1997 edition

Marc Notes: 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. Table of Contents: of Volume 2.- 1. Complexity: A Language-Theoretic Point of View.- 2. Parsing of Context-Free Languages.- 3. Grammars with Controlled Derivations.- 4. Grammar Systems.- 5. Contextual Grammars and Natural Languages.- 6. Contextual Grammars and Formal Languages.- 7. Language Theory and Molecular Genetics.- 8. String Editing and Longest Common Subsequences.- 9. Automata for Matching Patterns.- 10. Symbolic Dynamics and Finite Automata.- 11. Cryptology: Language-Theoretic Aspects. Publisher Marketing: The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when the book Formal Languages by the second mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest. This would not be possible anymore. A standard-sized book on formal languages would either have to stay on a fairly low level or else be specialized and restricted to some narrow sector of the field. The setup becomes drastically different in a collection of contributions, where the best authorities in the world join forces, each of them concentrat ing on their own areas of specialization. The present three-volume Handbook constitutes such a unique collection. In these three volumes we present the current state of the art in formallanguage theory. We were most satisfied with the enthusiastic response given to our request for contributions by specialists representing various subfields. The need for a Handbook of Formal Languages was in many answers expressed in different ways: as an easily accessible his torical reference, a general source of information, an overall course-aid, and a compact collection of material for self-study. We are convinced that the final result will satisfy such various needs."

Contributor Bio:  Rozenberg, Grzegorz Junghei Chen received his Ph. D. in Chemistry from NYU, under the supervision of Ned Seeman. He has since worked at Berkeley and is now Associate Professor in the Department of Chemistry and Biochemistry at the University of Delaware. He has edited a Springer book: LNCS 2943, Int. Workshop on DNA Based Computers, DNA 9 (2003). He has authored dozens of papers in key journals areas of chemistry, biochemistry, physics, computing and nanoscience Natascha Jonoska received her Ph. D. in Mathematical Science from SUNY Binghamton and is currently Associate Professor in the Mathematics Dept. at the University of South Florida. She has coedited a number of Springer books: LNCS 2723, Genetic and Evolutionary Computation Conf., GECCO 2003; LNCS 2950, Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday (2004). Natasha has also contributed chapters in various Natural Computing books, and many journal and LNCS articles. Her journal publications cover her interests in both theoretical computer science and natural computing. Grzegorz Rozenberg is the editor of the Springer Natural Computing series; is one of the series editors of the Springer EATCS Texts in Theoretical Computer Science series; was until this year the editor of the Springer journal Natural Computing; is the editor of the Elsevier Theoretical Computer Science journal Track C (Natural Computing). He has also edited or authored dozens of Springer books over the last 30 years. He has authored hundreds of publications in theoretical computer science and natural computing, and has been involved in the organization of dozens of conferences in both communities. He has authored and editeddozens of LNCS volumes and monographs, across a range of theoretical computer science fields and also in the area of natural computing. He has also recently edited some relevant Natural Computing series and EATCS series books, such as: Modelling in Molecular Biology (2004); Computation in Living Cells (2004); DNA Computing -- New Computing Paradigms (Reprint 2005). He also coedited LNCS 2950, Aspects of Molecular Computing, Essays Dedicated to Tom Head on the Occasion of His 70th Birthday (2004). Contributor Bio:  Salomaa, Arto Salomaa from the University of Turku