Two-Step Approaches to Natural Language Formalism / / Frank Morawietz.

• Superior document: Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1
• VerfasserIn: Morawietz, Frank,
• Place / Publishing House: Berlin ;, Boston : : De Gruyter Mouton, , [2008]; ©2003
• Year of Publication: 2008
• Edition: Reprint 2013
• Language: English
• Series: Studies in Generative Grammar [SGG] , 64
• Physical Description: 1 online resource (246 p.)
• Other title: Frontmatter --; Contents --; Introduction --; The Classical Approach --; Two Steps Are Better Than One --; Conclusion and Outlook --; Appendix --; Backmatter
• Format: Mode of access: Internet via World Wide Web.
• ISBN: 9783110197259; 9783110238570; 9783110238457; 9783110636970; 9783110742961; 9783110212129; 9783110212136; 9783110209457
• ISSN: 0167-4331
• DOI: 10.1515/9783110197259
• Access: restricted access
• Hierarchical level: Monograph
• Statement of Responsibility: Frank Morawietz.

This book presents a unified formal approach to various contemporary linguistic formalisms such as Government & Binding, Minimalism or Tree Adjoining Grammar. Through a careful introduction of mathematical techniques from logic, automata theory and universal algebra, the book aims at graduate students and researchers who want to learn more about tightly constrained logical approaches to natural language syntax. Therefore it features a complete and well illustrated introduction to the connection between declarative approaches formalized in monadic second-order logic (MSO) and generative ones formalized in various forms of automata as well as of tree grammars. Since MSO logic (on trees) yields only context-free languages, and at least the last two of the formalisms mentioned above clearly belong to the class of mildly context-sensitive formalisms, it becomes necessary to deal with the problem of the descriptive complexity of the formalisms involved in another way. The proposed genuinely new two-step approach overcomes this limitation of MSO logic while still retaining the desired tightly controlled formal properties.