Es decir, un lenguaje formal es recursivo si existe una máquina de Turing que siempre se detiene cuando dada una secuencia finita de símbolos del alfabeto del lenguaje - llamada cadena de caracteres, o palabra - como entrada, acepta solo esas palabras que son parte del lenguaje y rechaza todas las otras palabras.