Modern Language Models and Computation Theory with Applications /

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, distribu...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Meduna, Alexander (Συγγραφέας), Soukup, Ondřej (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03507nam a22004935i 4500
001 978-3-319-63100-4
003 DE-He213
005 20171004110726.0
007 cr nn 008mamaa
008 171004s2017 gw | s |||| 0|eng d
020 |a 9783319631004  |9 978-3-319-63100-4 
024 7 |a 10.1007/978-3-319-63100-4  |2 doi 
040 |d GrThAP 
050 4 |a QA75.5-76.95 
072 7 |a UY  |2 bicssc 
072 7 |a UYA  |2 bicssc 
072 7 |a COM014000  |2 bisacsh 
072 7 |a COM031000  |2 bisacsh 
082 0 4 |a 004.0151  |2 23 
100 1 |a Meduna, Alexander.  |e author. 
245 1 0 |a Modern Language Models and Computation  |h [electronic resource] :  |b Theory with Applications /  |c by Alexander Meduna, Ondřej Soukup. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2017. 
300 |a XIX, 548 p. 20 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Abstract -- Acknowledgments -- Preface -- Mathematical Background -- Classical Rewriting in Language Theory: Basics -- Regulated Generation -- Parallel Generation -- Jumping Generation -- Alternative Generation Based on Algebraic Restrictions -- Regulated Acceptance -- Jumping Acceptance -- Acceptance with Deep Pushdowns -- Alternative Acceptance Based on Algebraic Restrictions -- Generation of Languages by Automata -- Language Multigeneration by Grammar Systems -- Applications and Their Perspectives in General -- Applications in Linguistics -- Applications in Biology -- Concluding and Bibliographical Remarks -- Bibliography -- Index to Special Symbols -- Index to Language Famiolies and Their Models -- Subject Index. 
520 |a 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. 
650 0 |a Computer science. 
650 0 |a Computers. 
650 0 |a Computer science  |x Mathematics. 
650 0 |a Computational linguistics. 
650 1 4 |a Computer Science. 
650 2 4 |a Theory of Computation. 
650 2 4 |a Mathematics of Computing. 
650 2 4 |a Computational Linguistics. 
700 1 |a Soukup, Ondřej.  |e author. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783319630991 
856 4 0 |u http://dx.doi.org/10.1007/978-3-319-63100-4  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
950 |a Computer Science (Springer-11645)