Recent Advances in Formal Languages and Applications
The theory of formal languages is widely accepted as the backbone of t- oretical computer science. It mainly originated from mathematics (combi- torics,algebra,mathematicallogic)andgenerativelinguistics. Later,news- cializations originated from areas of either 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 forms, natural and arti?cial – is a particular case of a symbol system. This wide range of motivations and inspirations explains the diverse - plicability of formal language theory – and all these together explain the very large number of monographs and collective volumes dealing with formal l- guage theory. In 2004 Springer-Verlag published the volume Formal Languages and Applications, edited by C. Mart´ ?n-Vide, V. Mitrana and G. P? aun, which was aimed to serve as an overall course-aid and self-study material especially for the PhD students in formal language theory and applications. Actually, the volume has emerged in such a context: it contains the core information from most of the lectures delivered to the students of the International PhD School in Formal Languages and Applications organized since 2002 by the Research Group on Mathematical Linguistics from Rovira i Virgili University, Tarragona, Spain.
Offers hints for complete proofs or solutions to exercises and directions for further researchRepresents "a gate to formal language theory and its applications"Useful as a general source of information in computation theory, both at the undergraduate and research level