Interpreteur d'automate en utilisant une machine de turing