1: \begin{abstract}

2:   This is a survey, and a condensed version, of a series of articles

3:   on the algorithmic study of Thurston maps. We describe branched

4:   coverings of the sphere in terms of group-theoretical objects called

5:   bisets, and develop a theory of decompositions of bisets.

6: 

7:   We introduce a canonical ``Levy'' decomposition of an arbitrary

8:   Thurston map into homeomorphisms, metrically-expanding maps and maps

9:   doubly covered by torus endomorphisms. The homeomorphisms decompose

10:   themselves into finite-order and pseudo-Anosov maps, and the

11:   expanding maps decompose themselves into rational maps.

12: 

13:   As an outcome, we prove that it is decidable when two Thurston maps

14:   are equivalent. We also show that the decompositions above are

15:   computable, both in theory and in practice.

16: \iffalse

17:   \begin{french}

18:     \medskip\noindent\textsc{Résumé.} Ce texte est un survol, et une

19:     version condensée, d'une série d'articles étudiant

20:     algorithmiquements les applications de Thurston. Nous décrivons

21:     les revêtements ramifiés de la sphère en termes d'objets de la

22:     théorie des groupes appelés «bi-ensembles», et développons une

23:     théorie de leur décomposition.

24: 

25:     Nous introduisons une décomposition canonique «de Levy» d'une

26:     application de Thurston quelconque en homéomorphismes,

27:     applications métriquement dilatantes et applications doublement

28:     revêtues par un endomorphisme du tore. Les homéomorphismes se

29:     décomposent eux-mêmes en applications d'ordre fini et

30:     pseudo-Anosov, et les applications dilatantes se décomposent

31:     elles-mêmes en applications rationelles.

32: 

33:     Comme conséquence, nous prouvons qu'il est algorithmiquement

34:     décidable si deux applications de Thurston sont combinatoirement

35:     équivalentes. Nous montrons aussi que les décompositions décrites

36:     ci-dessus sont calculables, en théorie et en pratique.

37:   \end{french}

38: \fi

39: \end{abstract}

40: