文档介绍：Monographs in puter Science
An EATCS Series
Editors: W. Brauer J. Hromkoviˇc G. Rozenberg A. Salomaa
On behalf of the European Association
for puter Science (EATCS)
Advisory Board:
G. Ausiello M. Broy . Calude A. Condon
D. Harel J. Hartmanis T. Henzinger T. Leighton
M. Nivat C. Papadimitriou D. Scott
Manfred Droste r Werner Kuich r Heiko Vogler
Editors
Handbook
of
Weighted Automata
Editors
Prof. Dr. Manfred Droste Prof. Dr. Werner Kuich
Universit¨at Leipzig Technische Universit¨at Wien
Institut f¨ur Informatik Institut f¨ur Diskrete Mathematik und Geometrie
04009 Leipzig, Germany 1040 Wien, Austria
******@- ******@
Prof. Dr.-Ing. Heiko Vogler
Technische Universit¨at Dresden
Institut f¨ur Theoretische Informatik
01062 Dresden, Germany
heiko.******@tu-
Series Editors
Prof. Dr. Wilfried Brauer Prof. Dr. Juraj Hromkoviˇc
Institut f¨ur Informatik der TUM ETH Zentrum
Boltzmannstr. 3 Department puter Science
85748 Garching, Germany Swiss Federal Institute of Technology
******@- 8092 Z¨urich, Switzerland
juraj.******@
Prof. Dr. Grzegorz Rozenberg
Leiden Institute of Advanced Prof. Dr. Arto Salomaa
Computer Science Turku Centre of
University of puter Science
Niels Bohrweg 1 Lemmink¨aisenkatu 14 A
2333 CA Leiden, herlands 20520 Turku, Finland
******@ ******@
ISBN 978-3-642-01491-8 e-ISBN 978-3-642-01492-5
Monographs in puter Science. An EATCS Series. ISSN 1431-2654
Library of Congress Control Number: 2009926056
puting Classification (1998): , ,
Mathematics Subjects Classification (2000): 68Q45, 68Q70, 03B50, 03B70, 03D05, 68R99, 68Q85
c 2009 Springer-Verlag Berlin Heidelberg
This work is subject to copyright. All rights are reserved, whether the whole or part of the mater-
ial is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilm o