Handbook of Mathematical Models for Languages and Computation

Handbook of Mathematical Models for Languages and Computation
  • eBook:
    Handbook of Mathematical Models for Languages and Computation
  • Author:
    Alexander Meduna, Petr Horáček, Martin Tomko
  • Edition:
  • Categories:
  • Data:
    January 10, 2020
  • ISBN:
  • ISBN-13:
  • Language:
  • Pages:
    760 pages
  • Format:

Book Description
The theory of computation is used to address challenges arising in many computer science areas such as artificial intelligence, language processors, compiler writing, information and coding systems, programming language design, computer architecture and more. To grasp topics concerning this theory readers need to familiarize themselves with its computational and language models, based on concepts of discrete mathematics including sets, relations, functions, graphs and logic.
This handbook introduces with rigor the important concepts of this kind and uses them to cover the most important mathematical models for languages and computation, such as various classical as well as modern automata and grammars. It explains their use in such crucially significant topics of computation theory as computability, decidability, and computational complexity. The authors pay special attention to the implementation of all these mathematical concepts and models and explains clearly how to encode them in computational practice. All computer programs are written in C#.


PART I - Basic mathematical concepts
1. Sets, sequences, and languages
2. Relations and functions
3. Graphs

PART II - Classical models for languages and computation
4. Relations and language models
5. Finite automata
6. Context-free grammars
7. Pushdown automata
8. Turing machines
9. Computability
10. Decidability

PART III - Alternative models for languages and computation
11. Context-dependent grammars
12. Regulated models
13. Parallel grammatical models
14. Jumping models
15. Deep pushdown automata

PART IV - Applications
16. Applications in general
17. Applications in syntax analysis: programming languages
18. Applications in syntax analysis: natural languages
19. Applications in biology

PARTV - Conclusion
20. Concluding remarks

Download Handbook of Mathematical Models for Languages and Computation PDF or ePUB format free

Free sample

Download in .PDF format

Add comments
Введите код с картинки:*
Кликните на изображение чтобы обновить код, если он неразборчив
Copyright © 2019