Term with recursion in computer science Recursive grammar Recursion theory(Computability theory) Recursive language Recursive set Recursively enumerable set