Procesul recursiv este procesul care,in timpul executiei ,genereaza aparitia unor procese similare lui, aflate in legatura directa cu procesul care le genereaza.Se considera ca o notiune este definita recursiv daca in cadrul definitiei ,apare insasi notiunea care se defineste .Procesele descrise prin subprograme sunt procese finite.De aceea ,trebuie definita conditia de terminare