Developments in Language Theory 7th International Conference, DLT 20

  This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003. The 27 revised full papers presented together with 7 invited papers were careful

  • PDF / 6,588,174 Bytes
  • 448 Pages / 430 x 650 pts Page_size
  • 88 Downloads / 191 Views

DOWNLOAD

REPORT


2710

3

Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo

´ Zolt´an Esik Zolt´an F¨ul¨op (Eds.)

Developments in Language Theory 7th International Conference, DLT 2003 Szeged, Hungary, July 7-11, 2003 Proceedings

13

Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors ´ Zolt´an Esik Zolt´an F¨ul¨op University of Szeged, Department of Informatics ´ ad t´er 2, 6720 Szeged, Hungary Arp´ E-mail: {ze,fulop}@inf.u-szeged.hu

Cataloging-in-Publication Data applied for Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at .

CR Subject Classification (1998): F.4.3, F.4.2, F.4, F.3, F.1, G.2 ISSN 0302-9743 ISBN 3-540-40434-1 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2003 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin GmbH Printed on acid-free paper SPIN: 10928752 06/3142 543210

Preface

DLT 2003 was the 7th Conference on Developments in Language Theory. It was intended to cover all important areas of language theory, such as grammars, acceptors and transducers for strings, trees, graphs, arrays, etc., algebraic theories for automata and languages, combinatorial properties of words and languages, formal power series, decision problems, efficient algorithms for automata and languages, relations to complexity theory and logic, picture description and analysis, DNA computing, quantum computing, cryptography, and concurrency. DLT 2003 was held at the University of Szeged, Hungary, from July 7 to 11, 2003. Previous DLTs were held in Turku (1993), Magdeburg (1995), Thessaloniki (1997), Aachen (1999), Vienna (2001), and Kyoto (2002). Since 2001, a DLT conference takes place in every odd year in Europe, and in every even year in Asia. Altogether 57 papers were submitted. Each submission was evaluated by at least four members of the Program Committee, who were often assisted by their referees. This volume contains the 27 selected papers and the texts of the seven invited presentations. We would like to thank the members of the Program Committee for the eva