LEADER 01323nam--2200433---450- 001 990001508520203316 005 20090714142111.0 010 $a88-217-1429-2 035 $a000150852 035 $aUSA01000150852 035 $a(ALEPH)000150852USA01 035 $a000150852 100 $a20040317d2001----km-y0enga50------ba 101 0 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aContratti di informatica$fSimone Zerauschek, Elisabetta Magini 210 $a[Milanofiori, Assago]$cIPSOA$dcopyr. 2001 215 $aXII, 548 p.$d24 cm 225 2 $aPratica del diritto civile 300 $aSegue: Appendice 410 0$12001$aPratica del diritto civile 454 1$12001 461 1$1001-------$12001 606 0 $aContratti di informatica 676 $a346.450 24 700 1$aZERAUSCHEK,$bSimone$0531660 701 1$aMAGINI,$bElisabetta$0559852 801 0$aIT$bsalbc$gISBD 912 $a990001508520203316 951 $aXXV.1.H 239 (IG I 1989)$b39899 G.$cXXV.1.H 239 (IG I)$d00132441 959 $aBK 969 $aGIU 979 $aMARIA$b10$c20040317$lUSA01$h0913 979 $aPATRY$b90$c20040406$lUSA01$h1745 979 $aPECORARO$b90$c20040708$lUSA01$h0924 979 $aRSIAV1$b90$c20090714$lUSA01$h1421 996 $aContratti di informatica$9935311 997 $aUNISA LEADER 03967nam 22005895 450 001 9910254828303321 005 20200701200825.0 010 $a3-319-63100-4 024 7 $a10.1007/978-3-319-63100-4 035 $a(CKB)4100000000882151 035 $a(DE-He213)978-3-319-63100-4 035 $a(MiAaPQ)EBC6315192 035 $a(MiAaPQ)EBC5589083 035 $a(Au-PeEL)EBL5589083 035 $a(OCoLC)1006507886 035 $a(PPN)220128081 035 $a(EXLCZ)994100000000882151 100 $a20171004d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModern Language Models and Computation $eTheory with Applications /$fby Alexander Meduna, Ond?ej Soukup 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIX, 548 p. 20 illus.) 311 $a3-319-63099-7 327 $aAbstract -- 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. 330 $aThis 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. 606 $aComputers 606 $aComputer science?Mathematics 606 $aComputational linguistics 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 606 $aComputational Linguistics$3https://scigraph.springernature.com/ontologies/product-market-codes/N22000 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 0$aComputational linguistics. 615 14$aTheory of Computation. 615 24$aMathematics of Computing. 615 24$aComputational Linguistics. 676 $a410.151 700 $aMeduna$b Alexander$4aut$4http://id.loc.gov/vocabulary/relators/aut$0993458 702 $aSoukup$b Ond?ej$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254828303321 996 $aModern Language Models and Computation$92517718 997 $aUNINA