|
|
|
|
LEADER |
03302nmm a2200433 u 4500 |
001 |
EB000655475 |
003 |
EBX01000000000000000508557 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| eng |
020 |
|
|
|a 9783540398868
|
100 |
1 |
|
|a Martin-Vide, Carlos
|e [editor]
|
245 |
0 |
0 |
|a Formal Languages and Applications
|h Elektronische Ressource
|c edited by Carlos Martin-Vide, Victor Mitrana, Gheorghe Păun
|
250 |
|
|
|a 1st ed. 2004
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2004, 2004
|
300 |
|
|
|a VIII, 620 p
|b online resource
|
505 |
0 |
|
|a 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
|
653 |
|
|
|a Compilers (Computer programs)
|
653 |
|
|
|a Compilers and Interpreters
|
653 |
|
|
|a Engineering mathematics
|
653 |
|
|
|a Mathematical logic
|
653 |
|
|
|a Artificial Intelligence
|
653 |
|
|
|a Artificial intelligence
|
653 |
|
|
|a Engineering / Data processing
|
653 |
|
|
|a Natural Language Processing (NLP)
|
653 |
|
|
|a Applications of Mathematics
|
653 |
|
|
|a Mathematical Logic and Foundations
|
653 |
|
|
|a Mathematics
|
653 |
|
|
|a Mathematical and Computational Engineering Applications
|
653 |
|
|
|a Natural language processing (Computer science)
|
700 |
1 |
|
|a Mitrana, Victor
|e [editor]
|
700 |
1 |
|
|a Păun, Gheorghe
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Studies in Fuzziness and Soft Computing
|
028 |
5 |
0 |
|a 10.1007/978-3-540-39886-8
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-540-39886-8?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 620
|
520 |
|
|
|a "Formal Languages and Applications" provides an overall course-aid and self-study material for graduates students and researchers in formal language theory and its applications. The main results and techniques are presented in an easily accessible way accompanied with many references and directions for further research. This carefully edited monograph is intended to be the gate to formal language theory and its applications and is very useful as a general source of information in formal language theory
|