Indécidabilité. Encodage des machines de Turing On pourrait imaginer plusieurs conventions possibles pour encoder une machine de Turing. Cet encodage.