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
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.
InhaltsverzeichnisProton Pumping P Systems.A Binary Data Structure for Membrane Processors: Connectivity Arrays.Parsing with Active P Automata.Universality of Minimal Symport/Antiport: Five Membranes Suffice.Collapsing Hierarchies of Parallel Rewriting P Systems without Target Conflicts.Evolution and Observation: A New Way to Look at Membrane Systems.Tiling Rectangular Pictures with P Systems.Simulating Boolean Circuits with P Systems.P Systems Running on a Cluster of Computers.Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem.On the Dynamics of PB Systems: A Petri Net View.P Systems Generating Hexagonal Picture Languages.A Membrane System for the Leukocyte Selective Recruitment.P Systems with Cutting/Recombination Rules Assigned to Membranes.? -P Automata with Communication Rules.The Number of Membranes Matters.An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies.Can Hyperbolic Geometry Be of Help for P Systems?.A Linear-Time Solution to the Knapsack Problem Using P Systems with Active Membranes.A Reconfigurable Hardware Membrane System.P Systems and Petri Nets.Simulation of Mobile Ambients by P Systems. Part 1.Computing Partial Recursive Functions by Transition P Systems.P Systems with External Input and Learning Strategies.A Distributed Simulation of Transition P Systems.About Splicing P Systems with Immediate Communication and Non-extended Splicing P Systems.
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.