La dynamique symbolique étudie les systèmes dynamiques discrets à travers les sous-décalages, qui permettent de coder ces derniers par un ensemble de suites de symboles. Selon la complexité de l'ensemble des motifs pouvant apparaître dans des sous-décalages, ceux-ci peuvent être de différentes natures. Par ordre croissant de complexité, on peut ainsi les classifier en sous-décalages de type fini, sofiques ou encore effectifs. Les théorèmes de simulation, dont le premier est dû à Hochman, montrent comment il est possible de coder des systèmes complexes (effectifs) dans des sous-décalages simples (de type fini ou sofiques). Je présenterai les différentes version de théorèmes de simulation connues à ce jour. Nous verrons aussi ceux-ci peuvent être utilisés comme boîte noire pour construire des sous-décalages sofiques ou de type fini à la structure complexe, par exemple fortement apériodiques.