zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Handbook of formal languages. Vol. 1-3. (German) Zbl 0866.68057
Berlin: Springer. not consec. pag. DM 348,00; öS 2.540,40; sFr 303,00 (1997).

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.).

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 (A. Mateescu, A. Salomaa), Regular Languages (S. Yu), Context-Free Languages and Pushdown Automata (J.-M. Autebert, J. Berstel, L. Boasson), Aspects of Classical Language Theory (A. Mateescu, A. Salomaa), L Systems (Lila Kari, G. Rozenberg, A. Salomaa), Combinatorics on Words (Ch. Choffrut, J. Karhumäki), Morphisms (T. Harju, J. Karhumäki), Codes (H. Jürgensen, S. Konstantinidis), Semirings and Formal Power Series (W. Kuich), Syntactic Semirings (J.-E. Pin), Regularity and Finiteness Conditions (A. de Luca, S. Varricchio), Families Generated by Grammars and L Systems (G. Păun, A. Salomaa).

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 (C. Calude, J. Hromkovič), Parsing of Context-Free Languages (K. Sikkel, A. Nijholt), Grammars with Controlled Derivations (J. Dassow, G. Păun, A. Salomaa), Grammar Systems (J. Dassow, G. Păun, G. Rozenberg), Contextual Grammars and Natural Languages (S. Marcus), Contextual Grammars: and Formal Languages (A. Ehrenfeucht, G. Păun, G. Rosenberg), Language Theory and molecular Genetics (T. Head, G. Păun, D. Pixton), String Editing and Longest Common Subsequences (A. Apostolico), Automata for Matching Patterns (M. Crochemore, Ch. Hancart), Symbolic Dynamics and Finite Automata (M.-P. Béal, D. Perrin), Cryptology: Language-Theoretic Aspects (V. Niemi).

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 (F. Gécseg, M. Steinby), Tree-Adjoining Grammars (A. Joshi, Y. Schabes), Context-Free Graph Grammars (J. Engelfriet), Two-Dimensional Languages (Dora Giammarresi, A. Restivo), Basics of Term Rewriting (M. Jantzen), ω-Languages (L. Staiger), Languages, Automata, and Logic (W. Thomas), Partial Commutation and Traces (V. Diekert, Y. Metivier), Visual models of Plant Development (P. Prusinkiewicz et al.), Digital Images and Formal Languages (K. Culik II, 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.


MSC:
68Q45Formal languages and automata
68-00Reference works (computer science)
68-XXComputer science
68P25Data encryption