Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : Handbook of weighted automata [Texte électronique] / Manfred Droste, Werner Kuich, Heiko Vogler, editors
Publication : Berlin : Springer-Verlag, cop. 2009
Description matérielle : 1 ressource dématérialisée
Collection : Monographs in theoretical computer science
Note(s) : Includes bibliographical references and index
Autre(s) auteur(s) : Droste, Manfred (1956-....)
Kuich, Werner (1941-....). Fonction indéterminée
Vogler, Heiko (1957-....). Fonction indéterminée
Sujet(s) : Théorie des automates mathématiques
Langages formels
Indice(s) Dewey :
512 (23e éd.) = Algèbre
Identifiants, prix et caractéristiques : ISBN 9783642014925
Identifiant de la notice : ark:/12148/cb446979421
Notice n° :
FRBNF44697942
(notice reprise d'un réservoir extérieur)
Table des matières : Semirings and formal power series /Manfred Droste and Werner Kuich ; Fixed point theory
/Zoltán Ésik ; Finite automata /Zoltán Ésik and Werner Kuich ; Rational and recognisable
power series /Jacques Sakarovitch ; Weighted automata and weighted logics /Manfred
Droste and Paul Gastin ; Weighted automata algorithms /Mehryar Mohri ; Algebraic systems
and pushdown automata /Ion Petre and Arto Salomaa ; Lindenmayer systems /Juha Honkala
; Weighted tree automata and tree transducers /Zoltán Fülöp and Heiko Vogler ; Traces,
series-parallel posets, and pictures : a weighted study /Ina Fichtner, Dietrich Kuske,
and Ingmar Meinecke ; Digital image compression /Jürgen Albert and Jarkko Kari ; Fizzy
languages /George Rahonis ; Model checking linear-time properties of probabilistic
systems /Christel Baier, Marcus Größer, and Frank Ciesinski ; Applications of weighted
automata in natural language processing /Kevin Knight and Jonathan May