You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. The 40 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers deal with the various issues related to automata theory and formal languages
This book constitutes the refereed proceedings of the 6th International Conference on Language and Automata Theory and Applications, LATA 2012, held in A Coruña, Spain in March 2012. The 41 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 114 initial submissions. The volume features contributions from both classical theory fields and application areas; e.g. innformatics, systems biology, language technology, artificial intelligence, etc. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.
Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an readily accessible manner and accompanied by many references and directions for further research. This carefully edited monograph is intended to be the gateway to formal language theory and its applications, so it is very useful as a review and reference source of information in formal language theory.
The theory of formal languages is widely accepted as the backbone of t- oretical computer science. It mainly originated from mathematics (com- natorics, algebra, mathematical logic) and generative linguistics. Later, new specializations emerged from areas ofeither computer science(concurrent and distributed systems, computer graphics, arti?cial life), biology (plant devel- ment, molecular genetics), linguistics (parsing, text searching), or mathem- ics (cryptography). All human problem solving capabilities can be considered, in a certain sense, as a manipulation of symbols and structures composed by symbols, which is actually the stem of formal language theory. Language – in its two basic ...
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Membrane Computing, WMC 2003, held in Tarragona, Spain, in July 2003. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current topics in the emerging area of membrane computing are addressed, ranging from issues in mathematics and theoretical computer science to (potential) applications in biology, bioinformatics, sorting, ranking, linguistics, and computer graphics; several implementations and simulations on computers, computer networks, and reconfigurable hardware are presented too.
This brief collection of refereed papers approaches several technical as well as methodological aspects of the mathematical formalization of natural language, particularly in syntax and in semantics. Such kind of investigation is a prerequisite for the computational processing of language and is narrowly related to current developments in other disciplines, namely theoretical computer science and mathematical logic. The volume offers a coherent picture of recent research on the mathematics of language, and may be of interest to a wide audience, from linguists to mathematicians. Detailed indexes of authors and topics provide an easy access to the contents.
In the last decade, computational linguistics has produced a revival of the interest in the mathematical study of the various levels of human language. This volume contains a selection of recent research papers approaching mathematical and computational topics in natural languages, with a special attention being paid to syntax and semantics. According with their main focus, the papers are distributed into four parts: Syntax, Semantics, Natural language processing and Varia, which cover a vast range of problems. The book may be of interest to all those who intend to know which kind of mathematics is used when giving account of natural language, as well as to people working on computational issues involving human-machine interaction.
In the last years, it was observed an increasing interest of computer scientists in the structure of biological molecules and the way how they can be manipulated in vitro in order to define theoretical models of computation based on genetic engineering tools. Along the same lines, a parallel interest is growing regarding the process of evolution of living organisms. Much of the current data for genomes are expressed in the form of maps which are now becoming available and permit the study of the evolution of organisms at the scale of genome for the first time. On the other hand, there is an active trend nowadays throughout the field of computational biology toward abstracted, hierarchical views of biological sequences, which is very much in the spirit of computational linguistics. In the last decades, results and methods in the field of formal language theory that might be applied to the description of biological sequences were pointed out.
The present volume contains some selected topics of current interest around the world in the mathematical analysis of natural language. The book is divided into four sections:- analytical algebraic models- models from the theory of formal grammars and automata, with interest mainly in syntax- model-theoretic concepts in semantics or pragmatics, and- a final section containing some applications in computational linguistics.The varied perspectives illustrated in the book confirm that Mathematical Linguistics has finally introduced scientific methods into a previously fuzzy field, through the use of mathematical reasoning. The text will contribute to a fruitful convergence between linguists, mathematicians, logicians, computer scientists, cognitive scientists and others interested in the formal treatment of natural language and the research of its properties.