𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

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

✍ Scribed by Grzegorz Rozenberg, Arto Salomaa


Publisher
Springer
Year
2001
Tongue
English
Leaves
276
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


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.


πŸ“œ SIMILAR VOLUMES


Handbook of Formal Languages: Volume 2.
✍ Grzegorz Rozenberg, Arto Salomaa πŸ“‚ Library πŸ“… 2001 πŸ› Springer 🌐 English

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

Handbook of Formal Languages: Volume 2.
✍ Cristian Calude, Juraj Hromkovič (auth.), Prof. Dr. Grzegorz Rozenberg, Prof. Dr πŸ“‚ Library πŸ“… 1997 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>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 comprehensi

Handbook of Formal Languages: Volume 2.
✍ Cristian Calude, Juraj Hromkovič (auth.), Prof. Dr. Grzegorz Rozenberg, Prof. Dr πŸ“‚ Library πŸ“… 1997 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>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 comprehensi

Handbook of Formal Languages: Volume 1 W
✍ Alexandru Mateescu, Arto Salomaa (auth.), Prof. Dr. Grzegorz Rozenberg, Prof. Dr πŸ“‚ Library πŸ“… 1997 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. If! the early 1970s, when the book Formal Languages by the secondΒ­ quite feasible to write a comprehensive mentioned editor appeared, it was st

Handbook of Formal Languages: Volume 1 W
✍ Alexandru Mateescu, Arto Salomaa (auth.), Prof. Dr. Grzegorz Rozenberg, Prof. Dr πŸ“‚ Library πŸ“… 1997 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. If! the early 1970s, when the book Formal Languages by the secondΒ­ quite feasible to write a comprehensive mentioned editor appeared, it was st