Formal Languages and Applications

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.

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

Summary

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

• Assisted by: Carlos Martin-Vide (Editor), Victo Mitrana (Editor), Victor Mitrana (Editor), Gheorghe P un (Editor), Gheorghe P¿un (Editor), Gheorghe Paun (Editor), Gheorghe Păun (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 25.07.2013
• EAN: 9783642535543
• ISBN: 978-3-642-53554-3
• No. of pages: 620
• Weight: 955 g
• Illustrations: VIII, 620 p.
• Series: Studies in Fuzziness and Soft Computing; Studies in Fuzziness and Soft Computing
• Subjects: Natural sciences, medicine, IT, technology > Technology > General, dictionaries; C, Künstliche Intelligenz, Artificial Intelligence, mathematische Grundlagen, Mathematik: Logik, Natürliche Sprachen und maschinelle Übersetzung, Compiler und Übersetzer, engineering, Applications of Mathematics, Mathematical and Computational Engineering, Programming Languages, Compilers, Interpreters, Engineering mathematics, Applied mathematics, Mathematical and Computational Engineering Applications, Mathematical logic, Mathematical Logic and Foundations, Mathematical foundations, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Natural language & machine translation, Natural Language Processing (NLP), Natural language processing (Computer science)