Thomas Colcombet: Exposés

This page is rarely updated. Some talks were done using the Flash technology. I have stopped it since the technology is becoming old, and Adobe has changed the rules for purchasing licenses. The future is certainly HTM5.

Regular Cost Functions

Regular cost functions form a quantitative extensions to the notion of regularity which preserves several good properties of regular languages.

Some other talks on the subject.

Several important ideas concerning regular cost functions originates from a previous work on MSOB, an extension or monadic second-order logic with bounds.

The Monadic Theory of Linear Orderings

Data Languages and Automata with Atoms

Factorization Forests

These works concern extensions of the theorem of forest factorization due to Imre Simon. This theorem has algebraic consequences, as well as applications in logics and formal language theory.

Some Surveys

Various Other Subjects