Modern Language Models and Computation: Theory with Applications

Description

This textbook gives a systematized and compact summary, providing the most essential types of modern models for languages and computation together with their properties and applications. Most of these models properly reflect and formalize current computational methods, based on parallelism, distribution and cooperation covered in this book. As a result, it allows the user to develop, study, and improve these methods very effectively. This textbook also represents the first systematic treatment of modern language models for computation. It covers all essential theoretical topics concerning them. From a practical viewpoint, it describes various concepts, methods, algorithms, techniques, and software units based upon these models. Based upon them, it describes several applications in biology, linguistics, and computer science. Advanced-level students studying computer science, mathematics, linguistics and biology will find this textbook a valuable resource. Theoreticians, practitioners and researchers working in today’s theory of computation and its applications will also find this book essential as a reference. Front Matter ....Pages i-xix Front Matter ....Pages 1-1 Mathematical Background (Alexander Meduna, Ondřej Soukup)....Pages 3-12 Formal Language Theory: Basics (Alexander Meduna, Ondřej Soukup)....Pages 13-53 Front Matter ....Pages 55-55 Regulated Grammars and Computation (Alexander Meduna, Ondřej Soukup)....Pages 57-164 Parallel Grammars and Computation (Alexander Meduna, Ondřej Soukup)....Pages 165-255 Jumping Grammars and Discontinuous Computation (Alexander Meduna, Ondřej Soukup)....Pages 257-306 Algebra, Grammars, and Computation (Alexander Meduna, Ondřej Soukup)....Pages 307-315 Front Matter ....Pages 317-317 Regulated Automata and Computation (Alexander Meduna, Ondřej Soukup)....Pages 319-372 Jumping Automata and Discontinuous Computation (Alexander Meduna, Ondřej Soukup)....Pages 373-392 Deep Pushdown Automata and New Stack Structures (Alexander Meduna, Ondřej Soukup)....Pages 393-406 Algebra, Automata, and Computation (Alexander Meduna, Ondřej Soukup)....Pages 407-422 Front Matter ....Pages 423-423 Language-Generating Automata and State-Controlled Computation (Alexander Meduna, Ondřej Soukup)....Pages 425-431 Multigenerative Grammar Systems and Parallel Computation (Alexander Meduna, Ondřej Soukup)....Pages 433-464 Front Matter ....Pages 465-465 Applications and Their Perspectives in General (Alexander Meduna, Ondřej Soukup)....Pages 467-473 Applications in Computational Linguistics (Alexander Meduna, Ondřej Soukup)....Pages 475-494 Applications in Computational Biology (Alexander Meduna, Ondřej Soukup)....Pages 495-509 Front Matter ....Pages 511-511 Concluding Remarks (Alexander Meduna, Ondřej Soukup)....Pages 513-522 Back Matter ....Pages 523-548