Recent Advances in Formal Languages and Applications

The theory of formal languages is widely accepted as the backbone of theoretical computer science originating from mathematics and generative linguistics. All human problem solving capabilities can be considered in a certain sense as a manipulation of sym

  • PDF / 10,862,165 Bytes
  • 376 Pages / 595.276 x 841.89 pts (A4) Page_size
  • 80 Downloads / 264 Views

DOWNLOAD

REPORT


Studies in Computational Intelligence, Volume 25 Editor-in-chief Prof. Janusz Kacprzyk Systems Research Institute Polish Academy of Sciences  ul. Newelska 6 01-447 Warsaw Poland E-mail: [email protected]

Further volumes of this series can be found on our homepage: springer.com Vol. 9. Tsau Young Lin, Setsuo Ohsuga, Churn-Jung Liau, Xiaohua Hu (Eds.)

Foundations and Novel Approaches in Data Mining, 2005 ISBN 3-540-28315-3 Vol. 10. Andrzej P. Wierzbicki, Yoshiteru Nakamori Creative Space, 2005 ISBN 3-540-28458-3 Vol. 11. Antoni LigĊza

Kernel Based Algorithms for Mining Huge Data Sets, 2006 ISBN 3-540-31681-7 Vol. 18. Chang Wook Ahn

Advances in Evolutionary Algorithms, 2006 ISBN 3-540-31758-9 Vol. 19. Ajita Ichalkaranje, Nikhil Ichalkaranje, Lakhmi C. Jain (Eds.)

Intelligent Paradigms for Assistive and Preventive Healthcare, 2006 ISBN 3-540-31762-7 Vol. 20. Wojciech Penczek, Agata Póárola

Advances in Verification of Time Petri Nets and Timed Automata, 2006

Logical Foundations for Rule-Based Systems, 2006

ISBN 3-540-32869-6

ISBN 3-540-29117-2

Vol. 21. Cândida Ferreira

Vol. 12. Jonathan Lawry

Gene Expression on Programming: Mathematical Modeling by an Artificial Intelligence, 2006

Modelling and Reasoning with Vague Concepts, 2006 ISBN 0-387-29056-7 Vol. 13. Nadia Nedjah, Ajith Abraham, Luiza de Macedo Mourelle (Eds.) Genetic Systems Programming, 2006 ISBN 3-540-29849-5 Vol. 14. Spiros Sirmakessis (Ed.)

Adaptive and Personalized Semantic Web, 2006 ISBN 3-540-30605-6 Vol. 15. Lei Zhi Chen, Sing Kiong Nguang, Xiao Dong Chen

ISBN 3-540-32796-7 Vol. 22. N. Nedjah, E. Alba, L. de Macedo Mourelle (Eds.) Parallel Evolutionary Computations, 2006 ISBN 3-540-32837-8 Vol. 23. M. Last, Z. Volkovich, A. Kandel (Eds.) Algorithmic Techniques for Data Mining, 2006 ISBN 3-540-33880-2 Vol. 24. Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal

Parallel and Distributed Logic Programming,

Modelling and Optimization of Biotechnological Processes, 2006

2006 ISBN 3-540-33458-0

ISBN 3-540-30634-X

Vol. 25. Zoltán Ésik, Carlos Martín-Vide Victor Mitrana (Eds.)

Vol. 16. Yaochu Jin (Ed.)

Multi-Objective Machine Learning, 2006 ISBN 3-540-30676-5 Vol. 17. Te-Ming Huang, Vojislav Kecman, Ivica Kopriva

Recent Advances in Formal Languages and Applications, 2006 ISBN 3-540-33460-2

Zoltán Ésik Carlos Martín-Vide Victor Mitrana

Recent Advances in Formal Languages and Applications With 122 Figures and 12 Tables

123

Dr. Zoltán É sik Department of Informatics University of Szeged P.O. Box 652, H-6701 Szeged Hungary and

Carlos Martín-Vide Rovira i Virgili University Research Group on Mathematical Linguistics Pl. Imperial T àrraco, 1 43005 Tarragona Spain E-mail: [email protected]

Rovira i Virgili University Research Group on Mathematical Linguistics Pl. Imperial T àrraco, 1 43005 Tarragona Spain E-mail: [email protected]; [email protected] Dr. Victor Mitrana Faculty of Mathematics and Computer Science University of Bucharest Str. Academiei 14 70109 Bucharest Romania and Rovira i Virgili University Research Group on Ma