La formalisation relie la sémantique à la syntaxe, et la machine de Turing la syntaxe au mécanisme.