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.

Inhaltsverzeichnis

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.

Zusammenfassung

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.

Produktdetails

• Autoren: Carlos Martin-Vide, Victor Mitrana, Gheorghe Paun
• Mitarbeit: C. Martin-Vide (Herausgeber), Carlos Martin-Vide (Herausgeber), V. Mitrana (Herausgeber), Victo Mitrana (Herausgeber), Victor Mitrana (Herausgeber), G. Paun (Herausgeber), Gheorghe Paun (Herausgeber), Gheorghe Păun (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Fester Einband
• Erschienen: 17.03.2004
• EAN: 9783540209072
• ISBN: 978-3-540-20907-2
• Seiten: 620
• Gewicht: 1042 g
• Illustration: VIII, 620 p.
• Serien: Studies in Fuzziness and Soft Computing; Studies in Fuzziness and Soft Computing
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Technik > Allgemeines, Lexika; B, Künstliche Intelligenz, Artificial Intelligence, mathematische Grundlagen, Mathematik: Logik, Natürliche Sprachen und maschinelle Übersetzung, Angewandte Mathematik, 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)