Formal Languages and Applications / Edition 1

by Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun

Overview

Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an readily accessible manner and accompanied by many references and directions for further research. This carefully edited monograph is intended to be the gateway to formal language theory and its applications, so it is very useful as a review and reference source of information in formal language theory.

Product Details

ISBN-13:	9783540209072
Publisher:	Springer Berlin Heidelberg
Publication date:	04/28/2004
Series:	Studies in Fuzziness and Soft Computing , #148
Edition description:	2004
Pages:	620
Product dimensions:	6.10(w) x 9.25(h) x 0.05(d)

Table of Contents

1. Basic Notation and Terminology.- 2. Formal Languages: Foundations, Prehistory, Sources, and Applications.- 3. Finite Automata.- 4. Regular Grammars and Languages.- 5. Context-Free Languages.- 6. Pushdown Automata.- 7. On Context-Sensitive Grammars.- 8. Mildly Context-Sensitive Grammars.- 9. Parallel Grammars. A Short Phenomenology.- 10. Equational Axioms for a Theory of Automata.- 11. Turing Machines: Universality and Limits of Computational Power.- 12. Computational Complexity.- 13. Grammars With Regulated Rewriting.- 14. Grammar Systems.- 15. Eco-Grammar Systems.- 16. Miracles, Colonies, and Emergence.- 17. Marcus Contextual Grammars.- 18. Patterns.- 19. Combinatorics on Words.- 20. Combinatorics on Infinite Words.- 21. Finite Tree Automata and Regular Tree Automata. An Introduction.- 22. Two-Dimensional Languages.- 23. String Models and String Theories.- 24. Developmental Languages Versus DNA Computing.- 25. Membrane Computing.- 26. Dialogues on Quantum Computing.- 27. Grammatical Inference and Learning.- 28. Tabular Parsing.- 29. Weighted Finite-State Transducer Algorithms. An Overview.- 30. Text Searching: Theory and Practice.- 31. Cryptography: Basic Theory and Practice.