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 a in its two basic forms, natural and arti?cial a is a particular case of a symbol system. This wide range of motivations and inspirations explains the diverse - plicability of formal language theory a 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 I ?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.Quantum informatics is one of the most important new directions in informatics, especially in theoretical informatics, results of which have ... However, also brand new quantum models of automata have been introduced and investigated.

Title | : | Recent Advances in Formal Languages and Applications |

Author | : | Zolt N Sik, Carlos Martin-Vide, Victor Mitrana |

Publisher | : | Springer Science & Business Media - 2006-07-07 |

Continue