Author: Gheorghe P?un
Publisher: World Scientific
ISBN: 9789810219147
Category : Mathematics
Languages : en
Pages : 506
Book Description
This book contains original reviews by well-known workers in the field of mathematical linguistics and formal language theory, written in honour of Professor Solomon Marcus on the occasion of his 70th birthday.Some of the papers deal with contextual grammars, a class of generative devices introduced by Marcus, motivated by descriptive linguistics. Others are devoted to grammar systems, a very modern branch of formal language theory. Automata theory and the algebraic approach to computer science are other well-represented areas. While the contributions are mathematically oriented, practical issues such as cryptography, grammatical inference and natural language processing are also discussed.
Mathematical Aspects of Natural and Formal Languages
Author: Gheorghe P?un
Publisher: World Scientific
ISBN: 9789810219147
Category : Mathematics
Languages : en
Pages : 506
Book Description
This book contains original reviews by well-known workers in the field of mathematical linguistics and formal language theory, written in honour of Professor Solomon Marcus on the occasion of his 70th birthday.Some of the papers deal with contextual grammars, a class of generative devices introduced by Marcus, motivated by descriptive linguistics. Others are devoted to grammar systems, a very modern branch of formal language theory. Automata theory and the algebraic approach to computer science are other well-represented areas. While the contributions are mathematically oriented, practical issues such as cryptography, grammatical inference and natural language processing are also discussed.
Publisher: World Scientific
ISBN: 9789810219147
Category : Mathematics
Languages : en
Pages : 506
Book Description
This book contains original reviews by well-known workers in the field of mathematical linguistics and formal language theory, written in honour of Professor Solomon Marcus on the occasion of his 70th birthday.Some of the papers deal with contextual grammars, a class of generative devices introduced by Marcus, motivated by descriptive linguistics. Others are devoted to grammar systems, a very modern branch of formal language theory. Automata theory and the algebraic approach to computer science are other well-represented areas. While the contributions are mathematically oriented, practical issues such as cryptography, grammatical inference and natural language processing are also discussed.
Mathematics of Language
Author: Alexis Manaster-Ramer
Publisher: John Benjamins Publishing
ISBN: 9027220492
Category : Language Arts & Disciplines
Languages : en
Pages : 412
Book Description
By mathematics of language is meant the mathematical properties that may, under certain assumptions about modeling, be attributed to human languages and related symbolic systems, as well as the increasingly active and autonomous scholarly discipline that studies such things. More specifically, the use of techniques developed in a variety of pure and applied mathematics, including logic and the theory of computation, in the discovery and articulation of insights into the structure of language. Some of the contributions to this volume deal primarily with foundational issues, others with specific models and theoretical issues. A few are concerned with semantics, but most focus on syntax. The papers in this volume reveal applications of the several fields of the theory of computation (formal languages, automata, complexity), formal logic, topology, set theory, graph theory, and statistics. The book also shows a keen interest in developing mathematical models that are especially suited to natural languages.
Publisher: John Benjamins Publishing
ISBN: 9027220492
Category : Language Arts & Disciplines
Languages : en
Pages : 412
Book Description
By mathematics of language is meant the mathematical properties that may, under certain assumptions about modeling, be attributed to human languages and related symbolic systems, as well as the increasingly active and autonomous scholarly discipline that studies such things. More specifically, the use of techniques developed in a variety of pure and applied mathematics, including logic and the theory of computation, in the discovery and articulation of insights into the structure of language. Some of the contributions to this volume deal primarily with foundational issues, others with specific models and theoretical issues. A few are concerned with semantics, but most focus on syntax. The papers in this volume reveal applications of the several fields of the theory of computation (formal languages, automata, complexity), formal logic, topology, set theory, graph theory, and statistics. The book also shows a keen interest in developing mathematical models that are especially suited to natural languages.
Elements of Formal Semantics
Author: Yoad Winter
Publisher: Edinburgh University Press
ISBN: 0748677771
Category : Language Arts & Disciplines
Languages : en
Pages : 272
Book Description
Introducing some of the foundational concepts, principles and techniques in the formal semantics of natural language, Elements of Formal Semantics outlines the mathematical principles that underlie linguistic meaning. Making use of a wide range of concrete English examples, the book presents the most useful tools and concepts of formal semantics in an accessible style and includes a variety of practical exercises so that readers can learn to utilise these tools effectively. For readers with an elementary background in set theory and linguistics or with an interest in mathematical modelling, this fascinating study is an ideal introduction to natural language semantics. Designed as a quick yet thorough introduction to one of the most vibrant areas of research in modern linguistics today this volume reveals the beauty and elegance of the mathematical study of meaning.
Publisher: Edinburgh University Press
ISBN: 0748677771
Category : Language Arts & Disciplines
Languages : en
Pages : 272
Book Description
Introducing some of the foundational concepts, principles and techniques in the formal semantics of natural language, Elements of Formal Semantics outlines the mathematical principles that underlie linguistic meaning. Making use of a wide range of concrete English examples, the book presents the most useful tools and concepts of formal semantics in an accessible style and includes a variety of practical exercises so that readers can learn to utilise these tools effectively. For readers with an elementary background in set theory and linguistics or with an interest in mathematical modelling, this fascinating study is an ideal introduction to natural language semantics. Designed as a quick yet thorough introduction to one of the most vibrant areas of research in modern linguistics today this volume reveals the beauty and elegance of the mathematical study of meaning.
Handbook of Formal Languages
Author: Grzegorz Rozenberg
Publisher: Springer Science & Business Media
ISBN: 9783540606482
Category : Computers
Languages : en
Pages : 564
Book 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.
Publisher: Springer Science & Business Media
ISBN: 9783540606482
Category : Computers
Languages : en
Pages : 564
Book 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.
Mathematical Methods in Linguistics
Author: Barbara B.H. Partee
Publisher: Springer Science & Business Media
ISBN: 9789027722454
Category : Language Arts & Disciplines
Languages : en
Pages : 692
Book 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.
Publisher: Springer Science & Business Media
ISBN: 9789027722454
Category : Language Arts & Disciplines
Languages : en
Pages : 692
Book 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.
Formal Models, Languages And Applications
Author: K G Subramanian
Publisher: World Scientific
ISBN: 9814477443
Category : Computers
Languages : en
Pages : 420
Book Description
A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including grammar systems, picture languages and new models of computation.
Publisher: World Scientific
ISBN: 9814477443
Category : Computers
Languages : en
Pages : 420
Book Description
A collection of articles by leading experts in theoretical computer science, this volume commemorates the 75th birthday of Professor Rani Siromoney, one of the pioneers in the field in India. The articles span the vast range of areas that Professor Siromoney has worked in or influenced, including grammar systems, picture languages and new models of computation.
Marcus Contextual Grammars
Author: Gheorghe Paun
Publisher: Springer Science & Business Media
ISBN: 9401589690
Category : Computers
Languages : en
Pages : 336
Book 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.
Publisher: Springer Science & Business Media
ISBN: 9401589690
Category : Computers
Languages : en
Pages : 336
Book 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.
The Mathematics of Language
Author: Marcus Kracht
Publisher: Walter de Gruyter
ISBN: 9783110176209
Category : Language Arts & Disciplines
Languages : en
Pages : 616
Book Description
Table of contents
Publisher: Walter de Gruyter
ISBN: 9783110176209
Category : Language Arts & Disciplines
Languages : en
Pages : 616
Book Description
Table of contents
J.UCS The Journal of Universal Computer Science
Author: Hermann Maurer
Publisher: Springer Science & Business Media
ISBN: 3642803504
Category : Computers
Languages : en
Pages : 866
Book Description
J.UCS is the electronic journal that covers all areas of computer science. The high quality of all accepted papers is ensured by a strict review process and an international editorial board of distinguished computer scientists. The online journal J.UCS is a prototype for modern electronic publishing. Distributed via the Internet, it supports all the search and navigation tools of advanced online systems. This first annual print and CD-ROM archive edition contains all articles published online in J.UCS during 1995. It allows easy and durable access without logging onto the Internet. Uniform citation of papers is guaranteed by identical page numbering and layout of all versions. J.UCS is based on HyperWave (formerly Hyper-G), a networked hypermedia information system compatible with other systems.
Publisher: Springer Science & Business Media
ISBN: 3642803504
Category : Computers
Languages : en
Pages : 866
Book Description
J.UCS is the electronic journal that covers all areas of computer science. The high quality of all accepted papers is ensured by a strict review process and an international editorial board of distinguished computer scientists. The online journal J.UCS is a prototype for modern electronic publishing. Distributed via the Internet, it supports all the search and navigation tools of advanced online systems. This first annual print and CD-ROM archive edition contains all articles published online in J.UCS during 1995. It allows easy and durable access without logging onto the Internet. Uniform citation of papers is guaranteed by identical page numbering and layout of all versions. J.UCS is based on HyperWave (formerly Hyper-G), a networked hypermedia information system compatible with other systems.
Mathematical Foundations of Computer Science 1997
Author: Igor Privara
Publisher: Springer Science & Business Media
ISBN: 9783540634379
Category : Computers
Languages : en
Pages : 536
Book Description
This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.
Publisher: Springer Science & Business Media
ISBN: 9783540634379
Category : Computers
Languages : en
Pages : 536
Book Description
This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996. The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented programming, semantics and abstract interpretation, programming and graphical interfaces, and logic programming.