GiảI thuật đệ quy la:

Nếu lời giải của của một bài toán T được giải bằng lời giải của một bài toán T1 khác T , thì lời giải đó được gọi là lời giải đệ quy

Nếu lời giải của của một bài toán T được giải bằng lời giải của một bài toán T1 mà T1 giảI được thì lời giải đó được gọi là lời giải đệ quy

Nếu lời giải của của một bài toán T được giải bằng lời giải của một bài toán T1, có dạng giống như T, thì lời giải đó được gọi là lời giải đệ quy

Nếu lời giải của của một bài toán T được giải bằng lời giải của một bài toán T1 mà T1 có độ phức tạp khác T , thì lời giải đó được gọi là lời giải đệ quy