Por cardinalidad
Por su representación
Un procedimiento es un conjunto de instrucciones con las siguientes características:
Un algoritmo es un procedimiento que siempre termina, es decir, tiene las características 1 a 4, y necesariamente una característica
Un lenguaje \(L\) es recursivo si existe un algoritmo que siempre decide si una palabra pertenece o no al lenguaje.
Un lenguaje \(L\) es recursivamente numerable si existe un procedimiento tal que si una palabra pertenece a \(L\) el procedimiento se detiene escribiendo que SI, pero si no escribiendo que NO o no deteniéndose entrando en LOOP