Two-step approaches to natural language formalisms /:
The architecture of the human language faculty has been one of the main foci of the linguistic research of the last half century. This branch of linguistics, broadly known as Generative Grammar, is concerned with the formulation of explanatory formal accounts of linguistic phenomena with the ulterio...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; New York :
Mouton de Gruyter,
2003.
|
| Schriftenreihe: | Studies in generative grammar ;
64. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | The architecture of the human language faculty has been one of the main foci of the linguistic research of the last half century. This branch of linguistics, broadly known as Generative Grammar, is concerned with the formulation of explanatory formal accounts of linguistic phenomena with the ulterior goal of gaining insight into the properties of the 'language organ'. The series comprises high quality monographs and collected volumes that address such issues. The topics in this series range from phonology to semantics, from syntax to information structure, from mathematical linguistics to studies of the lexicon. |
| Beschreibung: | 1 online resource (xiv, 246 pages) : illustrations |
| Format: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Bibliographie: | Includes bibliographical references (pages 223-239) and index. |
| ISBN: | 9783110197259 3110197251 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn433134207 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090825s2003 gw a ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d IDEBK |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d OCLCE |d NLGGC |d YDXCP |d OCLCQ |d EBLCP |d OCLCQ |d ZCU |d MERUC |d VTS |d ICG |d OCLCQ |d STF |d DKC |d OCLCO |d OCLCQ |d M8D |d OCLCA |d OCLCQ |d AGLDB |d AJS |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d NUI |d SXB | ||
| 019 | |a 647135223 |a 1159095616 |a 1160023105 |a 1181929600 |a 1189795114 | ||
| 020 | |a 9783110197259 |q (electronic bk.) | ||
| 020 | |a 3110197251 |q (electronic bk.) | ||
| 020 | |z 3110178214 |q (cloth ; |q alk. paper) | ||
| 020 | |z 9783110178210 |q (cloth ; |q alk. paper) | ||
| 035 | |a (OCoLC)433134207 |z (OCoLC)647135223 |z (OCoLC)1159095616 |z (OCoLC)1160023105 |z (OCoLC)1181929600 |z (OCoLC)1189795114 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a P128.F67 |b M6 2003eb | |
| 072 | 7 | |a LAN |x 006000 |2 bisacsh | |
| 072 | 7 | |a LAN |x 009060 |2 bisacsh | |
| 072 | 7 | |a P |2 lcco | |
| 082 | 7 | |a 415/.01/51 |2 22 | |
| 084 | |a 17.46 |2 bcl | ||
| 049 | |a MAIN | ||
| 100 | 1 | |a Morawietz, Frank, |d 1968- |1 https://id.oclc.org/worldcat/entity/E39PCjHF97bHH4bgqrgPftf7wP |0 http://id.loc.gov/authorities/names/n2003048983 | |
| 245 | 1 | 0 | |a Two-step approaches to natural language formalisms / |c by Frank Morawietz. |
| 260 | |a Berlin ; |a New York : |b Mouton de Gruyter, |c 2003. | ||
| 300 | |a 1 online resource (xiv, 246 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in generative grammar ; |v 64 | |
| 504 | |a Includes bibliographical references (pages 223-239) and index. | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 505 | 0 | |a Intro -- Abstract -- Acknowledgments -- I Introduction -- 1 Overview -- 1.1 Desiderata for a linguistic formalism -- 1.2 Logic, algebra and formal language theory -- 1.3 Outline -- 2 Technical preliminaries -- 2.1 Alphabets, words and languages -- 2.2 Trees -- 2.3 Algebras -- II The Classical Approach -- Using MSO Logic as a Description Language for Natural Language Syntax -- 3 Model-theoretic syntax and monadic second-order logic -- 3.1 Overview of the classical approach -- 3.2 Monadic second-order logic -- 4 Finite-state devices -- 4.1 Finite-state language processing -- 4.2 Tree automata -- 4.3 Tree-walking automata -- 4.4 Tree transducer -- 5 Decidability and definability -- 5.1 Representing MSO formulas with tree automata -- 5.2 Coding of relations -- 5.3 Constructing automata from MSO formulas -- 5.4 Finite model theory -- 5.5 Definability of relations in MSO logic -- 5.6 Definable MSO transductions -- 5.7 Terminology -- 6 Applications -- 6.1 Parsing with tree automata -- 6.2 Compiling grammatical principles to FSTAs -- 6.3 Approximating P& -- P grammars -- 6.4 Some experimental results -- 6.5 Further applications -- 7 Intermediate conclusion -- III Two Steps Are Better Than One -- Extending the Use of MSO Logic to Non-Context-Free Linguistic Formalisms -- 8 Overview of the two-step approach -- 9 Non-context-freeness of natural language -- 9.1 Minimalist grammars -- 9.2 Tree adjoining grammar -- 9.3 Linguistic motivation: verb raising -- 10 The first step: Lifting -- 10.1 Tree grammars -- 10.2 Lifting -- 10.3 Coding the lifted structures -- 10.4 Summing up the first step -- 11 The second step: Reconstruction -- 11.1 Reconstructing lifted (M)CFTGs -- 11.2 Reconstructing lifted MCFGs -- 11.3 Summary of the two-step approach -- IV Conclusion and Outlook -- 12 Conclusion -- 13 Outlook -- V Appendix -- A Acronyms -- B MONA code. | |
| 505 | 8 | |a B.1 XBar Theory -- B.2 Co-Indexation -- C Additional MSO Definitions -- C.1 The MSO Definition of Intended Dominance -- D Prolog Code -- D.1 Apply a given MTT to a tree generated by an RTG -- D.2 The Example Grammars -- Endnotes -- Bibliography -- Mathematical Symbols -- Index. | |
| 520 | |a The architecture of the human language faculty has been one of the main foci of the linguistic research of the last half century. This branch of linguistics, broadly known as Generative Grammar, is concerned with the formulation of explanatory formal accounts of linguistic phenomena with the ulterior goal of gaining insight into the properties of the 'language organ'. The series comprises high quality monographs and collected volumes that address such issues. The topics in this series range from phonology to semantics, from syntax to information structure, from mathematical linguistics to studies of the lexicon. | ||
| 650 | 0 | |a Formalization (Linguistics) |0 http://id.loc.gov/authorities/subjects/sh85050812 | |
| 650 | 0 | |a Computational linguistics. |0 http://id.loc.gov/authorities/subjects/sh85077224 | |
| 650 | 6 | |a Formalisation (Linguistique) | |
| 650 | 6 | |a Linguistique informatique. | |
| 650 | 7 | |a computational linguistics. |2 aat | |
| 650 | 7 | |a LANGUAGE ARTS & DISCIPLINES |x Grammar & Punctuation. |2 bisacsh | |
| 650 | 7 | |a LANGUAGE ARTS & DISCIPLINES |x Linguistics |x Syntax. |2 bisacsh | |
| 650 | 7 | |a Computational linguistics |2 fast | |
| 650 | 7 | |a Formalization (Linguistics) |2 fast | |
| 650 | 7 | |a Formalisierung |2 gnd | |
| 650 | 7 | |a Grammatiktheorie |2 gnd |0 http://d-nb.info/gnd/4140778-7 | |
| 650 | 7 | |a Unifikationsgrammatik |2 gnd |0 http://d-nb.info/gnd/4290908-9 | |
| 650 | 7 | |a Mathematische Linguistik |2 gnd |0 http://d-nb.info/gnd/4037950-4 | |
| 650 | 7 | |a Mathematisierung |2 gnd |0 http://d-nb.info/gnd/4037959-0 | |
| 655 | 4 | |a Electronic book. | |
| 758 | |i has work: |a Two-step approaches to natural language formalisms (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG7f4W4VQTKYkdwc9Xppj3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Morawietz, Frank, 1968- |t Two-step approaches to natural language formalisms. |d Berlin ; New York : Mouton de Gruyter, 2003 |z 3110178214 |z 9783110178210 |w (DLC) 2003017940 |w (OCoLC)52845783 |
| 830 | 0 | |a Studies in generative grammar ; |v 64. |0 http://id.loc.gov/authorities/names/n42023852 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210955 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL325678 | ||
| 938 | |a EBSCOhost |b EBSC |n 210955 | ||
| 938 | |a YBP Library Services |b YANK |n 2771658 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn433134207 |
|---|---|
| _version_ | 1816881696610451456 |
| adam_text | |
| any_adam_object | |
| author | Morawietz, Frank, 1968- |
| author_GND | http://id.loc.gov/authorities/names/n2003048983 |
| author_facet | Morawietz, Frank, 1968- |
| author_role | |
| author_sort | Morawietz, Frank, 1968- |
| author_variant | f m fm |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | P - Language and Literature |
| callnumber-label | P128 |
| callnumber-raw | P128.F67 M6 2003eb |
| callnumber-search | P128.F67 M6 2003eb |
| callnumber-sort | P 3128 F67 M6 42003EB |
| callnumber-subject | P - Philology and Linguistics |
| collection | ZDB-4-EBA |
| contents | Intro -- Abstract -- Acknowledgments -- I Introduction -- 1 Overview -- 1.1 Desiderata for a linguistic formalism -- 1.2 Logic, algebra and formal language theory -- 1.3 Outline -- 2 Technical preliminaries -- 2.1 Alphabets, words and languages -- 2.2 Trees -- 2.3 Algebras -- II The Classical Approach -- Using MSO Logic as a Description Language for Natural Language Syntax -- 3 Model-theoretic syntax and monadic second-order logic -- 3.1 Overview of the classical approach -- 3.2 Monadic second-order logic -- 4 Finite-state devices -- 4.1 Finite-state language processing -- 4.2 Tree automata -- 4.3 Tree-walking automata -- 4.4 Tree transducer -- 5 Decidability and definability -- 5.1 Representing MSO formulas with tree automata -- 5.2 Coding of relations -- 5.3 Constructing automata from MSO formulas -- 5.4 Finite model theory -- 5.5 Definability of relations in MSO logic -- 5.6 Definable MSO transductions -- 5.7 Terminology -- 6 Applications -- 6.1 Parsing with tree automata -- 6.2 Compiling grammatical principles to FSTAs -- 6.3 Approximating P& -- P grammars -- 6.4 Some experimental results -- 6.5 Further applications -- 7 Intermediate conclusion -- III Two Steps Are Better Than One -- Extending the Use of MSO Logic to Non-Context-Free Linguistic Formalisms -- 8 Overview of the two-step approach -- 9 Non-context-freeness of natural language -- 9.1 Minimalist grammars -- 9.2 Tree adjoining grammar -- 9.3 Linguistic motivation: verb raising -- 10 The first step: Lifting -- 10.1 Tree grammars -- 10.2 Lifting -- 10.3 Coding the lifted structures -- 10.4 Summing up the first step -- 11 The second step: Reconstruction -- 11.1 Reconstructing lifted (M)CFTGs -- 11.2 Reconstructing lifted MCFGs -- 11.3 Summary of the two-step approach -- IV Conclusion and Outlook -- 12 Conclusion -- 13 Outlook -- V Appendix -- A Acronyms -- B MONA code. B.1 XBar Theory -- B.2 Co-Indexation -- C Additional MSO Definitions -- C.1 The MSO Definition of Intended Dominance -- D Prolog Code -- D.1 Apply a given MTT to a tree generated by an RTG -- D.2 The Example Grammars -- Endnotes -- Bibliography -- Mathematical Symbols -- Index. |
| ctrlnum | (OCoLC)433134207 |
| dewey-full | 415/.01/51 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 415 - Grammar |
| dewey-raw | 415/.01/51 |
| dewey-search | 415/.01/51 |
| dewey-sort | 3415 11 251 |
| dewey-tens | 410 - Linguistics |
| discipline | Sprachwissenschaft |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06818cam a2200757 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn433134207</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">090825s2003 gw a ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCE</subfield><subfield code="d">NLGGC</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">STF</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">NUI</subfield><subfield code="d">SXB</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">647135223</subfield><subfield code="a">1159095616</subfield><subfield code="a">1160023105</subfield><subfield code="a">1181929600</subfield><subfield code="a">1189795114</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110197259</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110197251</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">3110178214</subfield><subfield code="q">(cloth ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783110178210</subfield><subfield code="q">(cloth ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)433134207</subfield><subfield code="z">(OCoLC)647135223</subfield><subfield code="z">(OCoLC)1159095616</subfield><subfield code="z">(OCoLC)1160023105</subfield><subfield code="z">(OCoLC)1181929600</subfield><subfield code="z">(OCoLC)1189795114</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">dlr</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">P128.F67</subfield><subfield code="b">M6 2003eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">LAN</subfield><subfield code="x">006000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">LAN</subfield><subfield code="x">009060</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">P</subfield><subfield code="2">lcco</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">415/.01/51</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">17.46</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Morawietz, Frank,</subfield><subfield code="d">1968-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjHF97bHH4bgqrgPftf7wP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2003048983</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Two-step approaches to natural language formalisms /</subfield><subfield code="c">by Frank Morawietz.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Berlin ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Mouton de Gruyter,</subfield><subfield code="c">2003.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 246 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies in generative grammar ;</subfield><subfield code="v">64</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 223-239) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="3">Use copy</subfield><subfield code="f">Restrictions unspecified</subfield><subfield code="2">star</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction.</subfield><subfield code="b">[Place of publication not identified] :</subfield><subfield code="c">HathiTrust Digital Library,</subfield><subfield code="d">2010.</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.</subfield><subfield code="u">http://purl.oclc.org/DLF/benchrepro0212</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">digitized</subfield><subfield code="c">2010</subfield><subfield code="h">HathiTrust Digital Library</subfield><subfield code="l">committed to preserve</subfield><subfield code="2">pda</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Intro -- Abstract -- Acknowledgments -- I Introduction -- 1 Overview -- 1.1 Desiderata for a linguistic formalism -- 1.2 Logic, algebra and formal language theory -- 1.3 Outline -- 2 Technical preliminaries -- 2.1 Alphabets, words and languages -- 2.2 Trees -- 2.3 Algebras -- II The Classical Approach -- Using MSO Logic as a Description Language for Natural Language Syntax -- 3 Model-theoretic syntax and monadic second-order logic -- 3.1 Overview of the classical approach -- 3.2 Monadic second-order logic -- 4 Finite-state devices -- 4.1 Finite-state language processing -- 4.2 Tree automata -- 4.3 Tree-walking automata -- 4.4 Tree transducer -- 5 Decidability and definability -- 5.1 Representing MSO formulas with tree automata -- 5.2 Coding of relations -- 5.3 Constructing automata from MSO formulas -- 5.4 Finite model theory -- 5.5 Definability of relations in MSO logic -- 5.6 Definable MSO transductions -- 5.7 Terminology -- 6 Applications -- 6.1 Parsing with tree automata -- 6.2 Compiling grammatical principles to FSTAs -- 6.3 Approximating P&amp -- P grammars -- 6.4 Some experimental results -- 6.5 Further applications -- 7 Intermediate conclusion -- III Two Steps Are Better Than One -- Extending the Use of MSO Logic to Non-Context-Free Linguistic Formalisms -- 8 Overview of the two-step approach -- 9 Non-context-freeness of natural language -- 9.1 Minimalist grammars -- 9.2 Tree adjoining grammar -- 9.3 Linguistic motivation: verb raising -- 10 The first step: Lifting -- 10.1 Tree grammars -- 10.2 Lifting -- 10.3 Coding the lifted structures -- 10.4 Summing up the first step -- 11 The second step: Reconstruction -- 11.1 Reconstructing lifted (M)CFTGs -- 11.2 Reconstructing lifted MCFGs -- 11.3 Summary of the two-step approach -- IV Conclusion and Outlook -- 12 Conclusion -- 13 Outlook -- V Appendix -- A Acronyms -- B MONA code.</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">B.1 XBar Theory -- B.2 Co-Indexation -- C Additional MSO Definitions -- C.1 The MSO Definition of Intended Dominance -- D Prolog Code -- D.1 Apply a given MTT to a tree generated by an RTG -- D.2 The Example Grammars -- Endnotes -- Bibliography -- Mathematical Symbols -- Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The architecture of the human language faculty has been one of the main foci of the linguistic research of the last half century. This branch of linguistics, broadly known as Generative Grammar, is concerned with the formulation of explanatory formal accounts of linguistic phenomena with the ulterior goal of gaining insight into the properties of the 'language organ'. The series comprises high quality monographs and collected volumes that address such issues. The topics in this series range from phonology to semantics, from syntax to information structure, from mathematical linguistics to studies of the lexicon.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formalization (Linguistics)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85050812</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computational linguistics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85077224</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Formalisation (Linguistique)</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Linguistique informatique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">computational linguistics.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LANGUAGE ARTS & DISCIPLINES</subfield><subfield code="x">Grammar & Punctuation.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LANGUAGE ARTS & DISCIPLINES</subfield><subfield code="x">Linguistics</subfield><subfield code="x">Syntax.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computational linguistics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formalization (Linguistics)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Formalisierung</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Grammatiktheorie</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4140778-7</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Unifikationsgrammatik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4290908-9</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische Linguistik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4037950-4</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematisierung</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4037959-0</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic book.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Two-step approaches to natural language formalisms (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCG7f4W4VQTKYkdwc9Xppj3</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Morawietz, Frank, 1968-</subfield><subfield code="t">Two-step approaches to natural language formalisms.</subfield><subfield code="d">Berlin ; New York : Mouton de Gruyter, 2003</subfield><subfield code="z">3110178214</subfield><subfield code="z">9783110178210</subfield><subfield code="w">(DLC) 2003017940</subfield><subfield code="w">(OCoLC)52845783</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in generative grammar ;</subfield><subfield code="v">64.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42023852</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210955</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL325678</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">210955</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2771658</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic book. |
| genre_facet | Electronic book. |
| id | ZDB-4-EBA-ocn433134207 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:49Z |
| institution | BVB |
| isbn | 9783110197259 3110197251 |
| language | English |
| oclc_num | 433134207 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xiv, 246 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Mouton de Gruyter, |
| record_format | marc |
| series | Studies in generative grammar ; |
| series2 | Studies in generative grammar ; |
| spelling | Morawietz, Frank, 1968- https://id.oclc.org/worldcat/entity/E39PCjHF97bHH4bgqrgPftf7wP http://id.loc.gov/authorities/names/n2003048983 Two-step approaches to natural language formalisms / by Frank Morawietz. Berlin ; New York : Mouton de Gruyter, 2003. 1 online resource (xiv, 246 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Studies in generative grammar ; 64 Includes bibliographical references (pages 223-239) and index. Print version record. Use copy Restrictions unspecified star MiAaHDL Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Intro -- Abstract -- Acknowledgments -- I Introduction -- 1 Overview -- 1.1 Desiderata for a linguistic formalism -- 1.2 Logic, algebra and formal language theory -- 1.3 Outline -- 2 Technical preliminaries -- 2.1 Alphabets, words and languages -- 2.2 Trees -- 2.3 Algebras -- II The Classical Approach -- Using MSO Logic as a Description Language for Natural Language Syntax -- 3 Model-theoretic syntax and monadic second-order logic -- 3.1 Overview of the classical approach -- 3.2 Monadic second-order logic -- 4 Finite-state devices -- 4.1 Finite-state language processing -- 4.2 Tree automata -- 4.3 Tree-walking automata -- 4.4 Tree transducer -- 5 Decidability and definability -- 5.1 Representing MSO formulas with tree automata -- 5.2 Coding of relations -- 5.3 Constructing automata from MSO formulas -- 5.4 Finite model theory -- 5.5 Definability of relations in MSO logic -- 5.6 Definable MSO transductions -- 5.7 Terminology -- 6 Applications -- 6.1 Parsing with tree automata -- 6.2 Compiling grammatical principles to FSTAs -- 6.3 Approximating P& -- P grammars -- 6.4 Some experimental results -- 6.5 Further applications -- 7 Intermediate conclusion -- III Two Steps Are Better Than One -- Extending the Use of MSO Logic to Non-Context-Free Linguistic Formalisms -- 8 Overview of the two-step approach -- 9 Non-context-freeness of natural language -- 9.1 Minimalist grammars -- 9.2 Tree adjoining grammar -- 9.3 Linguistic motivation: verb raising -- 10 The first step: Lifting -- 10.1 Tree grammars -- 10.2 Lifting -- 10.3 Coding the lifted structures -- 10.4 Summing up the first step -- 11 The second step: Reconstruction -- 11.1 Reconstructing lifted (M)CFTGs -- 11.2 Reconstructing lifted MCFGs -- 11.3 Summary of the two-step approach -- IV Conclusion and Outlook -- 12 Conclusion -- 13 Outlook -- V Appendix -- A Acronyms -- B MONA code. B.1 XBar Theory -- B.2 Co-Indexation -- C Additional MSO Definitions -- C.1 The MSO Definition of Intended Dominance -- D Prolog Code -- D.1 Apply a given MTT to a tree generated by an RTG -- D.2 The Example Grammars -- Endnotes -- Bibliography -- Mathematical Symbols -- Index. The architecture of the human language faculty has been one of the main foci of the linguistic research of the last half century. This branch of linguistics, broadly known as Generative Grammar, is concerned with the formulation of explanatory formal accounts of linguistic phenomena with the ulterior goal of gaining insight into the properties of the 'language organ'. The series comprises high quality monographs and collected volumes that address such issues. The topics in this series range from phonology to semantics, from syntax to information structure, from mathematical linguistics to studies of the lexicon. Formalization (Linguistics) http://id.loc.gov/authorities/subjects/sh85050812 Computational linguistics. http://id.loc.gov/authorities/subjects/sh85077224 Formalisation (Linguistique) Linguistique informatique. computational linguistics. aat LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. bisacsh LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. bisacsh Computational linguistics fast Formalization (Linguistics) fast Formalisierung gnd Grammatiktheorie gnd http://d-nb.info/gnd/4140778-7 Unifikationsgrammatik gnd http://d-nb.info/gnd/4290908-9 Mathematische Linguistik gnd http://d-nb.info/gnd/4037950-4 Mathematisierung gnd http://d-nb.info/gnd/4037959-0 Electronic book. has work: Two-step approaches to natural language formalisms (Text) https://id.oclc.org/worldcat/entity/E39PCG7f4W4VQTKYkdwc9Xppj3 https://id.oclc.org/worldcat/ontology/hasWork Print version: Morawietz, Frank, 1968- Two-step approaches to natural language formalisms. Berlin ; New York : Mouton de Gruyter, 2003 3110178214 9783110178210 (DLC) 2003017940 (OCoLC)52845783 Studies in generative grammar ; 64. http://id.loc.gov/authorities/names/n42023852 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210955 Volltext |
| spellingShingle | Morawietz, Frank, 1968- Two-step approaches to natural language formalisms / Studies in generative grammar ; Intro -- Abstract -- Acknowledgments -- I Introduction -- 1 Overview -- 1.1 Desiderata for a linguistic formalism -- 1.2 Logic, algebra and formal language theory -- 1.3 Outline -- 2 Technical preliminaries -- 2.1 Alphabets, words and languages -- 2.2 Trees -- 2.3 Algebras -- II The Classical Approach -- Using MSO Logic as a Description Language for Natural Language Syntax -- 3 Model-theoretic syntax and monadic second-order logic -- 3.1 Overview of the classical approach -- 3.2 Monadic second-order logic -- 4 Finite-state devices -- 4.1 Finite-state language processing -- 4.2 Tree automata -- 4.3 Tree-walking automata -- 4.4 Tree transducer -- 5 Decidability and definability -- 5.1 Representing MSO formulas with tree automata -- 5.2 Coding of relations -- 5.3 Constructing automata from MSO formulas -- 5.4 Finite model theory -- 5.5 Definability of relations in MSO logic -- 5.6 Definable MSO transductions -- 5.7 Terminology -- 6 Applications -- 6.1 Parsing with tree automata -- 6.2 Compiling grammatical principles to FSTAs -- 6.3 Approximating P& -- P grammars -- 6.4 Some experimental results -- 6.5 Further applications -- 7 Intermediate conclusion -- III Two Steps Are Better Than One -- Extending the Use of MSO Logic to Non-Context-Free Linguistic Formalisms -- 8 Overview of the two-step approach -- 9 Non-context-freeness of natural language -- 9.1 Minimalist grammars -- 9.2 Tree adjoining grammar -- 9.3 Linguistic motivation: verb raising -- 10 The first step: Lifting -- 10.1 Tree grammars -- 10.2 Lifting -- 10.3 Coding the lifted structures -- 10.4 Summing up the first step -- 11 The second step: Reconstruction -- 11.1 Reconstructing lifted (M)CFTGs -- 11.2 Reconstructing lifted MCFGs -- 11.3 Summary of the two-step approach -- IV Conclusion and Outlook -- 12 Conclusion -- 13 Outlook -- V Appendix -- A Acronyms -- B MONA code. B.1 XBar Theory -- B.2 Co-Indexation -- C Additional MSO Definitions -- C.1 The MSO Definition of Intended Dominance -- D Prolog Code -- D.1 Apply a given MTT to a tree generated by an RTG -- D.2 The Example Grammars -- Endnotes -- Bibliography -- Mathematical Symbols -- Index. Formalization (Linguistics) http://id.loc.gov/authorities/subjects/sh85050812 Computational linguistics. http://id.loc.gov/authorities/subjects/sh85077224 Formalisation (Linguistique) Linguistique informatique. computational linguistics. aat LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. bisacsh LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. bisacsh Computational linguistics fast Formalization (Linguistics) fast Formalisierung gnd Grammatiktheorie gnd http://d-nb.info/gnd/4140778-7 Unifikationsgrammatik gnd http://d-nb.info/gnd/4290908-9 Mathematische Linguistik gnd http://d-nb.info/gnd/4037950-4 Mathematisierung gnd http://d-nb.info/gnd/4037959-0 |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85050812 http://id.loc.gov/authorities/subjects/sh85077224 http://d-nb.info/gnd/4140778-7 http://d-nb.info/gnd/4290908-9 http://d-nb.info/gnd/4037950-4 http://d-nb.info/gnd/4037959-0 |
| title | Two-step approaches to natural language formalisms / |
| title_auth | Two-step approaches to natural language formalisms / |
| title_exact_search | Two-step approaches to natural language formalisms / |
| title_full | Two-step approaches to natural language formalisms / by Frank Morawietz. |
| title_fullStr | Two-step approaches to natural language formalisms / by Frank Morawietz. |
| title_full_unstemmed | Two-step approaches to natural language formalisms / by Frank Morawietz. |
| title_short | Two-step approaches to natural language formalisms / |
| title_sort | two step approaches to natural language formalisms |
| topic | Formalization (Linguistics) http://id.loc.gov/authorities/subjects/sh85050812 Computational linguistics. http://id.loc.gov/authorities/subjects/sh85077224 Formalisation (Linguistique) Linguistique informatique. computational linguistics. aat LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. bisacsh LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. bisacsh Computational linguistics fast Formalization (Linguistics) fast Formalisierung gnd Grammatiktheorie gnd http://d-nb.info/gnd/4140778-7 Unifikationsgrammatik gnd http://d-nb.info/gnd/4290908-9 Mathematische Linguistik gnd http://d-nb.info/gnd/4037950-4 Mathematisierung gnd http://d-nb.info/gnd/4037959-0 |
| topic_facet | Formalization (Linguistics) Computational linguistics. Formalisation (Linguistique) Linguistique informatique. computational linguistics. LANGUAGE ARTS & DISCIPLINES Grammar & Punctuation. LANGUAGE ARTS & DISCIPLINES Linguistics Syntax. Computational linguistics Formalisierung Grammatiktheorie Unifikationsgrammatik Mathematische Linguistik Mathematisierung Electronic book. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210955 |
| work_keys_str_mv | AT morawietzfrank twostepapproachestonaturallanguageformalisms |