Oui, clairement !

Ca ne renvoie qu'à une machine de Turing, c'est tout bête.