The Theory of Stabilisation Monoids and Regular Cost Functions - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

The Theory of Stabilisation Monoids and Regular Cost Functions

Abstract

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 and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More