LEADER 01181nam2-2200349---450 001 990005645350203316 005 20210901135926.0 035 $a000564535 035 $aUSA01000564535 035 $a(ALEPH)000564535USA01 100 $a20040520d1993----km y1itay5003----ba 101 0 $aita 102 $aIT 200 1 $a<>ultime lettere di Jacopo Ortis$etratte dagli autografi$fUgo Foscolo$gintroduzione di Aurelio Picca 210 $aRoma$cL'Unità$dstampa 1993 215 $a151 p.$d19 cm 225 2 $a<>libri dell'Unità$iItaliana$v6 300 $aSupplemento al n.41 dell'Unità del 25.10.93 300 $aEdizione fuori commercio riservata ai lettori e abbonati dell'Unità 410 0$1001000598660$a<>libri dell'Unità$iItaliana$v6 676 $a853.6 700 1$aFOSCOLO,$bUgo$f<1778-1827>$0293284 702 1$aPICCA,$bAurelio 801 0$aIT$bSA$c20111219 912 $a990005645350203316 951 $aXV.18.B. 119 (FDC 800 FOS)$b5318 FIL$cXV.18.B.$d549596 951 $a(XV.9. Coll. 18/ 6$b717 MAR$cXV.9. Coll.$d359833 959 $aBK 969 $aFDECI 969 $aMAR 996 $aUltime lettere di Jacopo Ortis$948972 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