lý thuyết tính toán可计算性: tính có thể tính được, tính có thể tính toán được, tính có thể ước tính được计算复杂性理论: lý thuyết độ phức tạp tính toán可计算: tính có thể đếm được, tính có thể tính được
