The Theory of Stabilisation Monoids and Regular Cost Functions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

The Theory of Stabilisation Monoids and Regular Cost Functions

Résumé

We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this notion by means of automata (extending the nested distance desert automata of Kirsten), of history-deterministic automata (history-determinism is a weakening of the standard notion of determinism, that replaces it in this context), and a suitable notion of recognisability by stabilisation monoids. We also provide closure and decidability results.

Dates et versions

hal-00439259 , version 1 (07-12-2009)

Identifiants

Citer

Thomas Colcombet. The Theory of Stabilisation Monoids and Regular Cost Functions. ICALP, Jul 2009, Rhodes, Greece. pp.139-150, ⟨10.1007/978-3-642-02930-1_12⟩. ⟨hal-00439259⟩
50 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More