Cargando…
Handbook of Weighted Automata
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g. , the cost involved when executing a transition, the amount o...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
| Edición: | 1st ed. 2009. |
| Colección: | Monographs in Theoretical Computer Science. An EATCS Series,
|
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-01492-5 | ||
| 003 | DE-He213 | ||
| 005 | 20220116135251.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2009 gw | s |||| 0|eng d | ||
| 020 | |a 9783642014925 |9 978-3-642-01492-5 | ||
| 024 | 7 | |a 10.1007/978-3-642-01492-5 |2 doi | |
| 050 | 4 | |a QA75.5-76.95 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a COM014000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 004.0151 |2 23 |
| 245 | 1 | 0 | |a Handbook of Weighted Automata |h [electronic resource] / |c edited by Manfred Droste, Werner Kuich, Heiko Vogler. |
| 250 | |a 1st ed. 2009. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2009. | |
| 300 | |a XVII, 608 p. 76 illus., 3 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Monographs in Theoretical Computer Science. An EATCS Series, |x 2193-2069 | |
| 505 | 0 | |a Foundations -- Semirings and Formal Power Series -- Fixed Point Theory -- Concepts of Weighted Recognizability -- Finite Automata -- Rational and Recognisable Power Series -- Weighted Automata and Weighted Logics -- Weighted Automata Algorithms -- Weighted Discrete Structures -- Algebraic Systems and Pushdown Automata -- Lindenmayer Systems -- Weighted Tree Automata and Tree Transducers -- Traces, Series-Parallel Posets, and Pictures: A Weighted Study -- Applications -- Digital Image Compression -- Fuzzy Languages -- Model Checking Linear-Time Properties of Probabilistic Systems -- Applications of Weighted Automata in Natural Language Processing. | |
| 520 | |a The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g. , the cost involved when executing a transition, the amount of resources or time needed for this,or the probability or reliability of its successful execution. The behavior of weighted finite automata can then be considered as the function (suitably defined) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata with infinite state sets like pushdown automata; this extension constitutes the general concept of weighted automata. To illustrate the diversity of weighted automata, let us consider the following scenarios. Assume that a quantitative system is modeled by a classical automaton in which the transitions carry as weights the amount of resources needed for their execution. Then the amount of resources needed for a path in this weighted automaton is obtained simply as the sum of the weights of its transitions. Given a word, we might be interested in the minimal amount of resources needed for its execution, i. e. , for the successful paths realizing the given word. In this example, we could also replace the "resources" by "profit" and then be interested in the maximal profit realized, correspondingly, by a given word. | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Natural language processing (Computer science). | |
| 650 | 0 | |a Machine theory. | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 1 | 4 | |a Theory of Computation. |
| 650 | 2 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | |a Natural Language Processing (NLP). |
| 650 | 2 | 4 | |a Formal Languages and Automata Theory. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 700 | 1 | |a Droste, Manfred. |e editor. |0 (orcid)0000-0001-9128-8844 |1 https://orcid.org/0000-0001-9128-8844 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Kuich, Werner. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Vogler, Heiko. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642014932 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642014918 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642260490 |
| 830 | 0 | |a Monographs in Theoretical Computer Science. An EATCS Series, |x 2193-2069 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-642-01492-5 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||