Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0866.68057
Rozenberg, G. (ed.); Salomaa, A. (ed.)
Handbook of formal languages. Vol. 1-3. (German)
[B] Berlin: Springer. not consec. pag. DM 348,00; öS 2.540,40; sFr 303,00 (1997). ISBN 3-540-61486-9

The three-volumes Handbook of Formal Languages represents a really outstanding enterprise, and constitutes both a necessary and unique collection of information resources for the (theoretical) computer science community. This Handbook presents the current state of the art in formal language theory, and within the theoretical areas related to its main sources (mathematics, mathematical logic, linguistics, artificial intelligence, molecular genetics etc.), as well as application and development directions (e.g. mathematical and/or computational linguistics, parsing technologies, information theory, developmental biology, computer graphics, concurrent and distributed systems, molecular biology, pattern matching, cryptology etc.).\par Volume 1 (Word, Language, Grammar) is mainly devoted to mathematical (grammatical, computational, and algebraic) aspects of the basic theory of formal languages. Risking to (apparently) be boring, it is however impossible not to mention (at least) the titles and the authors of the contained papers: they speak best for themselves and for those who want and know to listen. For Volume 1: Formal Languages: an Introduction and a Synopsis ({\it A. Mateescu}, {\it A. Salomaa}), Regular Languages ({\it S. Yu}), Context-Free Languages and Pushdown Automata ({\it J.-M. Autebert}, {\it J. Berstel}, {\it L. Boasson}), Aspects of Classical Language Theory ({\it A. Mateescu}, {\it A. Salomaa}), L Systems ({\it Lila Kari}, {\it G. Rozenberg}, {\it A. Salomaa}), Combinatorics on Words ({\it Ch. Choffrut}, {\it J. Karhumäki}), Morphisms ({\it T. Harju}, {\it J. Karhumäki}), Codes ({\it H. Jürgensen}, {\it S. Konstantinidis}), Semirings and Formal Power Series ({\it W. Kuich}), Syntactic Semirings ({\it J.-E. Pin}), Regularity and Finiteness Conditions ({\it A. de Luca}, {\it S. Varricchio}), Families Generated by Grammars and L Systems ({\it G. Păun}, {\it A. Salomaa}).\par Volume 2 (Linear Modeling: Background and Application) contains papers dealing with linear models of the word functioning, with a special emphasis on computational linguistics and complexity, molecular genetics, and cryptology: Complexity: A Lanquage-Theoretic Point of View ({\it C. Calude}, {\it J. Hromkovič}), Parsing of Context-Free Languages ({\it K. Sikkel}, {\it A. Nijholt}), Grammars with Controlled Derivations ({\it J. Dassow}, {\it G. Păun}, {\it A. Salomaa}), Grammar Systems ({\it J. Dassow}, {\it G. Păun}, {\it G. Rozenberg}), Contextual Grammars and Natural Languages ({\it S. Marcus}), Contextual Grammars: and Formal Languages ({\it A. Ehrenfeucht}, {\it G. Păun}, {\it G. Rosenberg}), Language Theory and molecular Genetics ({\it T. Head}, {\it G. Păun}, {\it D. Pixton}), String Editing and Longest Common Subsequences ({\it A. Apostolico}), Automata for Matching Patterns ({\it M. Crochemore}, {\it Ch. Hancart}), Symbolic Dynamics and Finite Automata ({\it M.-P. Béal}, {\it D. Perrin}), Cryptology: Language-Theoretic Aspects ({\it V. Niemi}).\par Finally, Volume 3 (Beyond Words) comprises non-linear models on words (trees, graphs etc.) and their applications (linguistics, mathematical logic, theory of programming, computer graphics etc.): Tree Languages ({\it F. Gécseg}, {\it M. Steinby}), Tree-Adjoining Grammars ({\it A. Joshi}, {\it Y. Schabes}), Context-Free Graph Grammars ({\it J. Engelfriet}), Two-Dimensional Languages ({\it Dora Giammarresi}, {\it A. Restivo}), Basics of Term Rewriting ({\it M. Jantzen}), $\omega$-Languages ({\it L. Staiger}), Languages, Automata, and Logic ({\it W. Thomas}), Partial Commutation and Traces ({\it V. Diekert}, {\it Y. Metivier}), Visual models of Plant Development ({\it P. Prusinkiewicz} et al.), Digital Images and Formal Languages ({\it K. Culik II}, {\it J. Kari}). A final remark on the Handbook: the contributions show the current prominence of some national mathematical and computer science schools into the formal language theory field: namely, the tradition and value of the American, Finlander, French, Romanian, Canadian, Polish, Hollandish, German, and Italian schools.
[Neculai Curteanu (Iaşi)]

MSC 2000:: *68Q45 Formal languages
68-00 Reference works (computer science)
68-XX Computer science
68P25 Data encryption

Keywords: mathematical logic; linguistics; artificial intellignce; molecular genetics; formal languages; computational linguistics; complexity; cryptology

Cited in: Zbl 1245.03060 Zbl 1250.68202 Zbl 1129.68037 Zbl 1133.68069 Zbl 1110.68061 Zbl 1092.68060 Zbl 1066.68065

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]