Por lo tanto, cuando una ambigüedad es posible, el sinónimo usado para "lenguaje recursivo" es lenguaje Turing decidible, en vez de simplemente "lenguaje decidible".