Adding Pebbles to Weighted Automata: Easy Specification & Efficient Evaluation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2014

Adding Pebbles to Weighted Automata: Easy Specification & Efficient Evaluation

Résumé

We extend weighted automata and weighted rational expressions with 2-way moves and reusable pebbles. We show with examples from natural language modeling and quantitative model-checking that weighted expressions and automata with pebbles are more expressive and allow much more natural and intuitive specifications than classical ones. We extend Kleene–Schützenberger theorem showing that weighted expressions and automata with pebbles have the same expressive power. We focus on an efficient translation from expressions to automata. We also prove that the evaluation problem for weighted automata can be done very efficiently if the number of reusable pebbles is low.
Fichier principal
Vignette du fichier
HAL.pdf (738.97 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01091105 , version 1 (04-12-2014)
hal-01091105 , version 2 (12-02-2016)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Paul Gastin, Benjamin Monmege. Adding Pebbles to Weighted Automata: Easy Specification & Efficient Evaluation. Theoretical Computer Science, 2014, 534, ⟨10.1016/j.tcs.2014.02.034⟩. ⟨hal-01091105v2⟩
180 Consultations
106 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More