Formal Models In The Study Of Language Download Ebook PDF Epub Online

Author : Joanna Blochowiak
Cristina Grisot
Publisher : Springer
Release : 2017-01-18
Page : 456
Category : Language Arts & Disciplines
ISBN 13 : 9783319488318
Description :


This volume presents articles that focus on the application of formal models in the study of language in a variety of innovative ways, and is dedicated to Jacques Moeschler, professor at University of Geneva, to mark the occasion of his 60th birthday. The contributions, by seasoned and budding linguists of all different linguistic backgrounds, reflect Jacques Moeschler’s diverse and visionary research over the years. The book contains three parts. The first part shows how different formal models can be applied to the analysis of such diverse problems as the syntax, semantics and pragmatics of tense, aspect and deictic expressions, syntax and pragmatics of quantifiers and semantics and pragmatics of connectives and negation. The second part presents the application of formal models to the treatment of cognitive issues related to the use of language, and in particular, demonstrating cognitive accounts of different types of human interactions, the context in utterance interpretation (salience, inferential comprehension processes), figurative uses of language (irony pretence), the role of syntax in Theory of Mind in autism and the analysis of the aesthetics of nature. Finally, the third part addresses computational and corpus-based approaches to natural language for investigating language variation, language universals and discourse related issues. This volume will be of great interest to syntacticians, pragmaticians, computer scientists, semanticians and psycholinguists.


Author : Joanna Blochowiak
Cristina Grisot
Publisher : Springer
Release : 2017-03-20
Page : 475
Category : Language Arts & Disciplines
ISBN 13 : 3319488325
Description :


This volume presents articles that focus on the application of formal models in the study of language in a variety of innovative ways, and is dedicated to Jacques Moeschler, professor at University of Geneva, to mark the occasion of his 60th birthday. The contributions, by seasoned and budding linguists of all different linguistic backgrounds, reflect Jacques Moeschler’s diverse and visionary research over the years. The book contains three parts. The first part shows how different formal models can be applied to the analysis of such diverse problems as the syntax, semantics and pragmatics of tense, aspect and deictic expressions, syntax and pragmatics of quantifiers and semantics and pragmatics of connectives and negation. The second part presents the application of formal models to the treatment of cognitive issues related to the use of language, and in particular, demonstrating cognitive accounts of different types of human interactions, the context in utterance interpretation (salience, inferential comprehension processes), figurative uses of language (irony pretence), the role of syntax in Theory of Mind in autism and the analysis of the aesthetics of nature. Finally, the third part addresses computational and corpus-based approaches to natural language for investigating language variation, language universals and discourse related issues. This volume will be of great interest to syntacticians, pragmaticians, computer scientists, semanticians and psycholinguists.


Author : Joanna Blochowiak
Cristina Grisot
Publisher : Springer
Release : 2018-07-20
Page : 475
Category : Language Arts & Disciplines
ISBN 13 : 9783319840253
Description :


This volume presents articles that focus on the application of formal models in the study of language in a variety of innovative ways, and is dedicated to Jacques Moeschler, professor at University of Geneva, to mark the occasion of his 60th birthday. The contributions, by seasoned and budding linguists of all different linguistic backgrounds, reflect Jacques Moeschler’s diverse and visionary research over the years. The book contains three parts. The first part shows how different formal models can be applied to the analysis of such diverse problems as the syntax, semantics and pragmatics of tense, aspect and deictic expressions, syntax and pragmatics of quantifiers and semantics and pragmatics of connectives and negation. The second part presents the application of formal models to the treatment of cognitive issues related to the use of language, and in particular, demonstrating cognitive accounts of different types of human interactions, the context in utterance interpretation (salience, inferential comprehension processes), figurative uses of language (irony pretence), the role of syntax in Theory of Mind in autism and the analysis of the aesthetics of nature. Finally, the third part addresses computational and corpus-based approaches to natural language for investigating language variation, language universals and discourse related issues. This volume will be of great interest to syntacticians, pragmaticians, computer scientists, semanticians and psycholinguists.


Author : University of Cambridge
Publisher :
Release : 1975
Page :
Category : Language and languages
ISBN 13 :
Description :



Author : Barbara B.H. Partee
A.G. ter Meulen
Publisher : Springer Science & Business Media
Release : 1990-04-30
Page : 666
Category : Language Arts & Disciplines
ISBN 13 : 9789027722454
Description :


Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language.


Author : Grzegorz Rozenberg
Arto Salomaa
Publisher : Springer Science & Business Media
Release : 1997-02-28
Page : 528
Category : Computers
ISBN 13 : 9783540606482
Description :


The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when the book Formal Languages by the second mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest. This would not be possible anymore. A standard-sized book on formal languages would either have to stay on a fairly low level or else be specialized and restricted to some narrow sector of the field. The setup becomes drastically different in a collection of contributions, where the best authorities in the world join forces, each of them concentrat ing on their own areas of specialization. The present three-volume Handbook constitutes such a unique collection. In these three volumes we present the current state of the art in formallanguage theory. We were most satisfied with the enthusiastic response given to our request for contributions by specialists representing various subfields. The need for a Handbook of Formal Languages was in many answers expressed in different ways: as an easily accessible his torical reference, a general source of information, an overall course-aid, and a compact collection of material for self-study. We are convinced that the final result will satisfy such various needs.


Author : Ruth Wodak
Barbara Johnstone
Publisher : SAGE
Release : 2010-09-23
Page : 648
Category : Social Science
ISBN 13 : 1446248402
Description :


"A treasure trove for sociolinguistic researchers and students alike. Edited by three leading sociolinguists, the 39 chapters cover a wealth of valuable material... And the cast list reads like a veritable Who's Who of sociolinguistics, with a refreshing number of younger scholars included along with more familiar, well-established names... This is a book that I will reach for often, both for research and teaching purposes. I will recommend it to my postgraduate students, and many of the chapters will provide excellent material for discussion in our advanced undergraduate sociolinguistics course." - Janet Holmes, Discourse Studies "The best, the most complete and the most integrated handbook of sociolinguistics of the past decade." - Joshua A. Fishman, NYU and Stanford University This Handbook answers a long-standing need for an up-to-date, comprehensive, international, in-depth critical survey of the history, trajectory, data, results and key figures involved in sociolinguistics. It consists of six inter-linked sections: The History of Sociolinguistics Sociolinguistics and Social Theory Language, Variation and Change Interaction Multilingualism and Contact Applications The result is a work of unprecedented coverage and insight. It is all here, from the foundational contributions to the field to the impact of new media, new technologies of communication, globalization, trans-border fluidities and agendas of research. The book will quickly be recognized as a benchmark in the field. It will provide a basis for reckoning its origins and pathways of development as well as an authoritative account of the central debates and research issues of today.


Author : Carlos Gray Santana
Publisher :
Release : 2016
Page : 332
Category :
ISBN 13 :
Description :


This dissertation contains a collection of essays centered on the relationship between theoretical model-building and empirical evidence-gathering in linguistics and related language sciences. The first chapter sets the stage by demonstrating that the subject matter of linguistics is manifold, and contending that discussion of relationships between linguistic models, evidence, and language itself depends on the subject matter at hand. The second chapter defends a restrictive account of scientific evidence. I make use of this account in the third chapter, in which I argue that if my account of scientific evidence is correct, then linguistic intuitions do not generally qualify as scientific evidence. Drawing on both extant and original empirical work on linguistic intuitions, I explore the consequences of this conclusion for scientific practice. In the fourth and fifth chapters I examine two distinct ways in which theoretical models relate to the evidence. Chapter four looks at the way in which empirical evidence can support computer simulations in evolutionary linguistics by informing and constraining them. Chapter five, on the other hand, probes the limits of how models are constrained by the data, taking as a case study empirically-suspect but theoretically-useful intentionalist models of meaning.


Author : Pauline Jacobson
Publisher : OUP Oxford
Release : 2014-08-29
Page : 352
Category : Language Arts & Disciplines
ISBN 13 : 0191664839
Description :


This book provides an introduction to compositional semantics and to the syntax/semantics interface. It is rooted within the tradition of model theoretic semantics, and develops an explicit fragment of both the syntax and semantics of a rich portion of English. Professor Jacobson adopts a Direct Compositionality approach, whereby the syntax builds the expressions while the semantics simultaneously assigns each a model-theoretic interpretation. Alongside this approach, the author also presents a competing view that makes use of an intermediate level, Logical Form. She develops parallel treatments of a variety of phenomena from both points of view with detailed comparisons. The book begins with simple and fundamental concepts and gradually builds a more complex fragment, including analyses of more advanced topics such as focus, negative polarity, and a variety of topics centering on pronouns and binding more generally. Exercises are provided throughout, alongside open-ended questions for students to consider. The exercises are interspersed with the text to promote self-discovery of the fundamentals and their applications. The book provides a rigorous foundation in formal analysis and model theoretic semantics and is suitable for advanced undergraduate and graduate students in linguistics, philosophy of language, and related fields.


Author : W.J. Savitch
E. Bach
Publisher : Springer Science & Business Media
Release : 2012-12-06
Page : 452
Category : Computers
ISBN 13 : 9400934017
Description :


Ever since Chomsky laid the framework for a mathematically formal theory of syntax, two classes of formal models have held wide appeal. The finite state model offered simplicity. At the opposite extreme numerous very powerful models, most notable transformational grammar, offered generality. As soon as this mathematical framework was laid, devastating arguments were given by Chomsky and others indicating that the finite state model was woefully inadequate for the syntax of natural language. In response, the completely general transformational grammar model was advanced as a suitable vehicle for capturing the description of natural language syntax. While transformational grammar seems likely to be adequate to the task, many researchers have advanced the argument that it is "too adequate. " A now classic result of Peters and Ritchie shows that the model of transformational grammar given in Chomsky's Aspects [IJ is powerful indeed. So powerful as to allow it to describe any recursively enumerable set. In other words it can describe the syntax of any language that is describable by any algorithmic process whatsoever. This situation led many researchers to reasses the claim that natural languages are included in the class of transformational grammar languages. The conclu sion that many reached is that the claim is void of content, since, in their view, it says little more than that natural language syntax is doable algo rithmically and, in the framework of modern linguistics, psychology or neuroscience, that is axiomatic.


Author : Gheorghe Paun
Publisher : Springer Science & Business Media
Release : 2013-04-17
Page : 378
Category : Computers
ISBN 13 : 9401589690
Description :


Marcus Contextual Grammars is the first monograph to present a class of grammars introduced about three decades ago, based on the fundamental linguistic phenomenon of strings-contexts interplay (selection). Most of the theoretical results obtained so far about the many variants of contextual grammars are presented with emphasis on classes of questions with relevance for applications in the study of natural language syntax: generative powers, descriptive and computational complexity, automata recognition, semilinearity, structure of the generated strings, ambiguity, regulated rewriting, etc. Constant comparison with families of languages in the Chomsky hierarchy is made. Connections with non-linguistic areas are established, such as molecular computing. Audience: Researchers and students in theoretical computer science (formal language theory and automata theory), computational linguistics, mathematical methods in linguistics, and linguists interested in formal models of syntax.


Author : Fonseca i Casas, Pau
Publisher : IGI Global
Release : 2013-07-31
Page : 458
Category : Computers
ISBN 13 : 1466643706
Description :


Models and simulations are an important first step in developing computer applications to solve real-world problems. However, in order to be truly effective, computer programmers must use formal modeling languages to evaluate these simulations. Formal Languages for Computer Simulation: Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.


Author : Walter Daelemans
Publisher : Rodopi
Release : 2001
Page : 203
Category : Language Arts & Disciplines
ISBN 13 : 9789042012578
Description :


This volume provides a selection of the papers which were presented at the eleventh conference on Computational Linguistics in the Netherlands (Tilburg, 2000). It gives an accurate and up-to-date picture of the lively scene of computational linguistics in the Netherlands and Flanders. The volume covers the whole range from theoretical to applied research and development, and is hence of interest to both academia and industry. The target audience consists of students and scholars of computational linguistics, and speech and language processing (Linguistics, Computer Science, Electrical Engineering).


Author : Ronald V. Book
Publisher : Academic Press
Release : 2014-05-10
Page : 468
Category : Mathematics
ISBN 13 : 1483267504
Description :


Formal Language Theory: Perspectives and Open Problems focuses on the trends and major open problems on the formal language theory. The selection first ponders on the methods for specifying families of formal languages, open problems about regular languages, and generators of cones and cylinders. Discussions focus on cylinders of algebraic languages, cone of algebraic languages, regularity of noncounting classes, group complexity, specification formalism, and grammars. The publication then elaborates on very small families of algebraic nonrational languages and formal languages and their relation to automata. The book tackles morphisms on free monoids and language theory, homomorphisms, and survey of results and open problems in the mathematical theory of L systems. Topics include single finite substitutions iterated, single homomorphisms iterated, representation of language families, homomorphism equivalence on a language, and problems about infinite words. The selection is a valuable source of data for researchers interested in the formal language theory.


Author : Arthur Charles Fleck
Publisher : World Scientific
Release : 2001
Page : 532
Category : Computers
ISBN 13 : 9789810245009
Description :


This book provides new presentations of standard computational models that help avoid pitfalls of the conventional description methods. It also includes novel approaches to some of the topics that students normally find the most challenging. The presentations have evolved in response to student feedback over many years of teaching and have been well received by students.The book covers the topics suggested in the ACM curriculum guidelines for the course on ?Theory of Computation?, and in the course on ?Foundations of Computing? in the model liberal arts curriculum. These are standard courses for upper level computer science majors and beginning graduate students.The material in this area of computing is intellectually deep, and students invariably find it challenging to master. This book blends the three key ingredients for successful mastery. The first is its focus on the mingling of intuition and rigor that is required to fully understand the area. This is accomplished not only in the discussion and in examples, but also especially in the proofs. Second, a number of practical applications are presented to illustrate the capacity of the theoretical techniques to contribute insights in a variety of areas; such presentations greatly increase the reader's motivation to grasp the theoretical material. The student's active participation is the third and final major element in the learning process, and to this end an extensive collection of problems of widely differing difficulty is incorporated.


Author : Renato Oniga
Rossella Iovino
Publisher : Cambridge Scholars Publishing
Release : 2011-05-25
Page : 465
Category : Language Arts & Disciplines
ISBN 13 : 1443831069
Description :


This volume offers a coherent collection of 26 papers presented at an international conference held in November 2010, exploring the latest achievements of formal and comparative linguistics applied to the teaching of Latin. The three sections (syntax and morphology, semantics and pragmatics, history and theory of teaching) compare Latin with different ancient and modern languages, aiming to represent grammar rules as the product of mental processes. The book is addressed to linguists, teachers and students, who are looking for new perspectives to update their approach to classical Latin.


Author : Krishnendu Chatterjee
Thomas A. Henzinger
Publisher : Springer Science & Business Media
Release : 2010-08-30
Page : 257
Category : Computers
ISBN 13 : 3642152961
Description :


This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition, the volume contains 3 invited talks and 2 invited tutorials.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share an interest in the modeling and analysis of timed systems. Typical topics include foundations and semantics, methods and tools, and applications.


Author : Gerard Meurant
Publisher : Elsevier
Release : 2014-06-28
Page : 1280
Category : Computers
ISBN 13 : 0080933920
Description :


The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.


Author : Benedikt Bollig
Publisher : Springer Science & Business Media
Release : 2006-09-08
Page : 181
Category : Computers
ISBN 13 : 3540329234
Description :


This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.


Author : Hans-Jörg Kreowski
Ugo Montanari
Publisher : Springer
Release : 2005-02-04
Page : 420
Category : Mathematics
ISBN 13 : 354031847X
Description :


By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.